vagrant: move files around
[ghc.git] / utils / vagrant / bootstrap-deb.sh
2014-07-20  Austin Seippvagrant: move files around