aboutsummaryrefslogtreecommitdiffstats
path: root/extras/vagrant/install.sh
AgeCommit message (Expand)AuthorFilesLines
2024-01-19build: Explicitly use bash for shell scriptsTom Jones1-1/+1
2018-08-14Make vagrant work behind a proxyKyle Mestery1-4/+4
2017-04-20Move vagrant stuff to extras/Damjan Marion1-0/+30