Remove push-all from file list in boot script (push-all no longer exists)
[ghc-hetmet.git] / quickcheck /
2006-04-07 Simon Marlowremove the last bits of the ghc/ subdir