/
.editorconfig
.gitattributes
.gitignore
CONTRIBUTING.md
LICENSE
README.md
Vagrantfile
debian
debian_setup.sh
doc
install-pixelated.sh
osx_setup.sh
passwd
provisioning
service
sshKeyDir
try.alice.ini
try.bob.ini
web-ui