Ł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