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
..
shell	containers/vagrant: add support for CentOS (#14380)	2017-05-13 01:59:03 +02:00