Upgrade T-rex to newer version 01/5001/15
[csit.git] / resources / tools / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 5016 Vagrantfile
-rwxr-xr-x 965 install_debs.sh