Partially revert 194107ea9333c1d9d61abf307db2da6a699847af
[ghc.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 50 bootstrap-deb.sh
-rwxr-xr-x 183 bootstrap-rhel.sh