aboutsummaryrefslogtreecommitdiffstats
path: root/extras/vagrant/run.sh
AgeCommit message (Expand)AuthorFilesLines
2024-01-19build: Explicitly use bash for shell scriptsTom Jones1-1/+1
2020-09-21build: remove opensuse build infraDave Wallace1-3/+3
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