Nikos Roussos 9f613ab5c0 Simplify docker configuration		2017-02-21 18:05:46 +02:00
..
run-docker.sh	Simplify docker configuration	2017-02-21 18:05:46 +02:00