Brian Cain ea59cfdb92 Merge pull request #8895 from briancain/8697/master/add-ssh-extra-opts ... Introduce extra_args setting for ssh configs		2017-08-21 16:26:52 -07:00
..
vagrant	Merge pull request #8895 from briancain/8697/master/add-ssh-extra-opts	2017-08-21 16:26:52 -07:00
vagrant.rb	Warn when failing to require plugin instead of hard failure	2017-03-22 16:40:42 -07:00