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