InfiniTime

History

Joe Eaves 0880d53a94 Custom Dockerfile for gitpod.io Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed		2021-01-05 00:34:15 +00:00
..
.gitpod.Dockerfile	Custom Dockerfile for gitpod.io	2021-01-05 00:34:15 +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.