gidsi 86fecfc4dd shrink docker image size		2017-12-14 22:20:41 +01:00
..
Dockerfile	shrink docker image size	2017-12-14 22:20:41 +01:00