Davide Alberani 031b0b9233 fix #41: Docker support 6 years ago
..
DEVELOPMENT.md 5a31cc29ab #13: GUI to avoid changes by unregistered users 7 years ago
DOCKER.md 031b0b9233 fix #41: Docker support 6 years ago