Michael Kuzmin bdef7efb2d Fix for ignored `config.vm.box_server_url` setting. ... https://github.com/mitchellh/vagrant/pull/4282 introduced new setting to set alternate vagrant cloud server URLs, but it doesn't work actually. This PR helps to process the value correctly.		2014-09-29 22:36:37 +04:00
..
vagrant	Fix for ignored `config.vm.box_server_url` setting.	2014-09-29 22:36:37 +04:00
vagrant.rb	core: Environment#machine_index	2014-04-21 13:51:17 -07:00