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