topo_installation -c shouldn't fail if rmdir fails 85/3585/2
[csit.git] / resources / tools / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 5016 Vagrantfile
-rwxr-xr-x 965 install_debs.sh