Vít Ondruch 408bc4e6be Do not use deprecated API.

2017-10-23 10:57:36 -07:00

..

vagrant

Do not use deprecated API.

2017-10-23 10:57:36 -07:00

vagrant.rb

Warn when failing to require plugin instead of hard failure

2017-03-22 16:40:42 -07:00