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