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