Davide Alberani 7d09372ec3 fix #41: Docker support		2017-11-29 22:23:03 +01:00
..
DEVELOPMENT.md	#13: GUI to avoid changes by unregistered users	2017-02-26 16:04:29 +01:00
DOCKER.md	fix #41: Docker support	2017-11-29 22:23:03 +01:00