Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add Vagrantfile used to diagnose Travis issues
Now that the issue has been resolved, I don't need the Vagrant box any more. But there might be new issues in the future, and so it might be useful to keep this file around.
- Loading branch information