Rename 10ge2p1x520-ethip6lispip6-ip6Base-pdrchk 99/7199/1
[csit.git] / resources / tools / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 5016 Vagrantfile
-rwxr-xr-x 965 install_debs.sh