/resources/tools/vagrant/

• ../
• Vagrantfile
• install_debs.sh
• install_hc_debs.sh