Merge branch '2013.10' into 2014.11
[tine20] / scripts / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 1522 Vagrantfile
-rw-r--r-- 3893 bootstrap_vagrant.sh
-rwxr-xr-x 4326 setup-tine20.sh