Koustubh Sinkar df4e7eccf5 containers/vagrant: add support for CentOS (#14380) ... CentOS has been added as a multi-machine option to the Vagrant script. Ubuntu is still the default option. For starting the CentOS machine, use: vagrant up centos		2017-05-13 01:59:03 +02:00
..
docker	Dockerfile: support building USB on Alpine, ignore temp files	2017-02-13 18:31:09 +02:00
vagrant	containers/vagrant: add support for CentOS (#14380)	2017-05-13 01:59:03 +02:00