2 Incheckningar

Include renames

Upphovsman	SHA1	Meddelande	Datum
gidsi	86fecfc4dd	shrink docker image size	2017-12-14 22:20:41 +01:00
gidsi	aa6e3758de	adds dockerfile	2017-11-17 16:19:44 +01:00