vpp_config: Update deprecated platform.linux_distribution()
[vpp.git] / extras / vagrant / .gitignore
2017-04-20 Damjan MarionMove vagrant stuff to extras/ 93/6293/3