2018-08-31 | João Valverde | vagrant: Mount synced folder under home | blob | commitdiff | raw |
2018-08-31 | João Valverde | CMake: Add debian package target | blob | commitdiff | raw | diff to current |
2018-08-31 | João Valverde | vagrant: Enable ccache | blob | commitdiff | raw | diff to current |
2018-08-31 | João Valverde | vagrant: Add fedora box | blob | commitdiff | raw | diff to current |
2018-08-31 | João Valverde | vagrant: Use debian-setup.sh | blob | commitdiff | raw | diff to current |
2018-03-19 | Sake Blok | Fix and update the vagrant build system | blob | commitdiff | raw | diff to current |
2015-06-25 | Evan Huus | Vagrant setup fixes | blob | commitdiff | raw | diff to current |
2015-06-25 | Evan Huus | Add basic Vagrant configuration | blob | commitdiff | raw | diff to current |