Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / distrib /
drwxr-xr-x   ..
-rw-r--r-- 1376 INSTALL
-rw-r--r-- 420 README
drwxr-xr-x - compare
-rw-r--r-- 6949 configure.ac.in
-rw-r--r-- 2126 cross-port
-rw-r--r-- 3231 hc-build
-rw-r--r-- 2734 hsicon.ico
drwxr-xr-x - mkDocs
-rw-r--r-- 3642 remilestoning.pl