Juan RP 2dfcd5e144 docker: update to 1.3.0.		2014-10-17 08:38:26 +02:00
..
files/docker	…
template	docker: update to 1.3.0.	2014-10-17 08:38:26 +02:00