InfiniTime/docker
2020-12-22 12:40:21 +00:00
..
build.sh Make TOOLS_DIR if needed 2020-12-22 11:38:57 +00:00
Dockerfile Integrate improvements from #137 2020-12-21 03:10:42 +00:00
post_build.sh.in Improve the post_build again, again? 2020-12-22 12:40:21 +00:00
README.md Add doc about Docker image. 2020-08-19 16:01:01 +02:00

Docker images and build script for building the project using Docker. See this page for more info.