Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-05-30 | Bump Ubuntu version to 18.04 in Vagrantfile | Sake Blok | 1 | -1/+1 |
2018-08-31 | vagrant: Mount synced folder under home | João Valverde | 1 | -2/+5 |
2018-08-31 | CMake: Add debian package target | João Valverde | 1 | -0/+2 |
2018-08-31 | vagrant: Enable ccache | João Valverde | 1 | -0/+2 |
2018-08-31 | vagrant: Add fedora box | João Valverde | 1 | -7/+18 |
2018-08-31 | vagrant: Use debian-setup.sh | João Valverde | 1 | -1/+4 |
2018-03-19 | Fix and update the vagrant build system | Sake Blok | 1 | -4/+4 |
2015-06-25 | Vagrant setup fixes | Evan Huus | 1 | -3/+0 |
2015-06-25 | Add basic Vagrant configuration | Evan Huus | 1 | -0/+27 |