Move vagrant stuff to extras/ 93/6293/3
[vpp.git] / extras / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 10 .gitignore
-rw-r--r-- 590 README
-rw-r--r-- 4020 Vagrantfile
-rw-r--r-- 1695 WELCOME
-rwxr-xr-x 1905 build.sh
-rwxr-xr-x 689 clearinterfaces.sh
-rw-r--r-- 143 env.sh
-rw-r--r-- 810 install.sh
-rwxr-xr-x 574 run.sh
-rwxr-xr-x 1673 update.sh