aboutsummaryrefslogtreecommitdiffstats
path: root/extras/vagrant/run.sh
AgeCommit message (Expand)AuthorFilesLines
2018-08-14Make vagrant work behind a proxyKyle Mestery1-4/+5
2017-10-09Allow use of /etc/os-release fileMarco Varlese1-10/+9
2017-04-20Move vagrant stuff to extras/Damjan Marion1-0/+23