Rename s/7.12.1/8.0.1/ two minor occurences
[ghc.git] / utils / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 50 bootstrap-deb.sh
-rwxr-xr-x 133 bootstrap-rhel.sh