Fold base.git into ghc.git (re #8545)
[ghc.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 50 bootstrap-deb.sh
-rwxr-xr-x 183 bootstrap-rhel.sh