Bernhard Ehlers 67c7b12cb1 Docker build tool renamed to docker_make ... The build tool behaves more like make, it builds only the changed images.		2023-12-15 19:51:41 +01:00
..
docker_make	Docker build tool renamed to docker_make	2023-12-15 19:51:41 +01:00
requirements.txt	Docker Build System	2023-05-27 17:12:05 +02:00