dblommesteijn/vagrant-tools — pull request #2 by dblommesteijn (2014-06-23 09:50:13+00:00)
Title: Vagrantfile

Fixing issue https://github.com/dblommesteijn/vagrant-tools/issues/1 by looking-up the Vagrantfile instead of .config directory.