upgrade vagrant box to saucy 64 bit with php5.5
[tine20] / scripts / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 1752 Vagrantfile
-rw-r--r-- 4057 bootstrap_vagrant.sh
-rwxr-xr-x 4326 setup-tine20.sh