Tidy-up sweep, following the Great Skolemisation Simplification
[ghc-hetmet.git] / driver / gcc /
drwxr-xr-x   ..
-rw-r--r-- 1705 gcc.c