tree 1d6f20d87bdcbf56446d56997ac517c819889e9d
parent 9e7249a9071a756f9ab277887eb5694173d6f790
author Zack Williams <zdw@cs.arizona.edu> 1492039875 -0700
committer Zack Williams <zdw@cs.arizona.edu> 1492039911 -0700

CORD-1114
move Vagrantfile back to where it was
update cord-in-a-box.sh to use new (old) location

Change-Id: I91ffd2579ad1fd50a9cac6aec9ec50f5062414b7