aboutsummaryrefslogtreecommitdiffstats
path: root/Vagrantfile
AgeCommit message (Expand)AuthorFilesLines
2018-08-31vagrant: Mount synced folder under homeJoão Valverde1-2/+5
2018-08-31CMake: Add debian package targetJoão Valverde1-0/+2
2018-08-31vagrant: Enable ccacheJoão Valverde1-0/+2
2018-08-31vagrant: Add fedora boxJoão Valverde1-7/+18
2018-08-31vagrant: Use debian-setup.shJoão Valverde1-1/+4
2018-03-19Fix and update the vagrant build systemSake Blok1-4/+4
2015-06-25Vagrant setup fixesEvan Huus1-3/+0
2015-06-25Add basic Vagrant configurationEvan Huus1-0/+27