Davide Alberani 031b0b9233 fix #41: Docker support		2017-11-29 22:43:40 +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:43:40 +01:00