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