summaryrefslogtreecommitdiff
path: root/contrib/vagrant/Vagrantfile
AgeCommit message (Expand)Author
2021-04-26-fix misc typosChristian Grothoff
2017-02-25Add Vagrant file for developmentAntonio Ojea