aboutsummaryrefslogtreecommitdiff
path: root/contrib/dev/vagrant/Vagrantfile.custom.example
AgeCommit message (Expand)AuthorFilesLines
2017-06-02Remove dead code related to the Vagrant dev environmentJuan J. Martinez1-92/+0
2016-10-14Move demos and dev directory into a new contrib directoryChristian Berendt1-0/+92