Merge branch 'master' into fix#5464
[ghc.git] / docs / comm /
drwxr-xr-x   ..
drwxr-xr-x - exts
-rw-r--r-- 1118 feedback.html
drwxr-xr-x - genesis
-rw-r--r-- 5013 index.html
-rw-r--r-- 2327 others.html
drwxr-xr-x - rts-libs
drwxr-xr-x - the-beast