oops, undo accidental addition of package-time settings
[ghc-hetmet.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 102 Makefile
-rw-r--r-- 18280 coding-style.html
drwxr-xr-x - docbook-cheat-sheet
drwxr-xr-x - hep