1. c2e63fe Allow use of /etc/os-release file by Marco Varlese · 7 years ago
  2. 48009e4 Move vagrant stuff to extras/ by Damjan Marion · 8 years ago[Renamed from build-root/vagrant/run.sh]
  3. ed0e49c Update default Vagrant box to Ubuntu 16.04, VPP-616 by Dave Wallace · 8 years ago
  4. d6a0fc5 Break boostrap.sh into pieces by Ed Warnicke · 9 years ago