5 Commits (711292860c8d49434cbfee9958011f20ea7b548e)

Author SHA1 Message Date
triton 6766bf9d11 Remove useless comments from Vagrant file. 11 years ago
Pedro Dias c20377050d small fix to typo in apt-get command 11 years ago
João Matos a4ac574ab0 Update the Vagrant file to package LLVM. 11 years ago
Pedro Miguel Casaleiro Dias a71887070f Rework on VagrantFile: 11 years ago
triton 55d35defae Added Vagrant file for Linux CI build bot. 12 years ago