FIX: add missing PDRDISC tag 27/7727/1
[csit.git] / resources / tools / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 5016 Vagrantfile
-rwxr-xr-x 965 install_debs.sh