Ben Doherty 50b34b9659 If hosts file is writable without sudo, don't use sudo		2016-06-03 10:06:23 -04:00
..
vagrant-hostmanager	If hosts file is writable without sudo, don't use sudo	2016-06-03 10:06:23 -04:00
vagrant-hostmanager.rb	Implement check for already active machine.	2013-04-08 13:20:22 -04:00