opencog/opencog — pull request #1103 by cosmoharrigan (2014-11-17 07:06:00+00:00)
Title: Remove redundant Vagrant procedure

```Vagrantfile``` now exists in the root directory, so at this point it doesn't make sense to have this redundant procedure that is not maintained.