Łukasz Oleś 1ef56828f8 Remove build containers ... 5 containers are created during the build and not used anymore. Removing them.		2016-12-29 18:22:00 +01:00
..
.gitignore	Rename build-tools/ back to build/	2016-12-14 13:42:15 -08:00
Dockerfile	Rename build-tools/ back to build/	2016-12-14 13:42:15 -08:00
Makefile	Remove build containers	2016-12-29 18:22:00 +01:00
pause.c	Rename build-tools/ back to build/	2016-12-14 13:42:15 -08:00