srv6-mobile: Fix the coverity issues
[vpp.git] / extras / vagrant / .gitignore
2017-04-20 Damjan MarionMove vagrant stuff to extras/ 93/6293/3