mirror of
https://github.com/InfiniTimeOrg/InfiniTime.git
synced 2026-01-21 16:32:26 +01:00
f197a3fe88
Update Docker build script accordingly. Also fix permission issue with docker build (all files belonged to root).
Docker images and build script for building the project using Docker. See this page for more info.