Author: jng Date: 2016-05-10 04:49:21 -0700 (Tue, 10 May 2016) New Revision: 8945 Added: trunk/Tools/Vagrant/centos6/ trunk/Tools/Vagrant/ubuntu12/ Removed: trunk/Tools/Vagrant/centos/ trunk/Tools/Vagrant/ubuntu/ Log: Rename our existing vagrant configurations - centos -> centos6 - ubuntu -> ubuntu12