FIB: Sources must be keep in priority order, so re-sort after a vec_del
[vpp.git] / extras / vagrant / .gitignore
2017-04-20 Damjan MarionMove vagrant stuff to extras/ 93/6293/3