2 Révisions

Inclure les renommages

Auteur	SHA1	Message	Date
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