Merge branch 'master' of ../HEAD
[ghc.git] / libffi /
drwxr-xr-x   ..
-rw-r--r-- 513 Makefile
-rw-r--r-- 4521 ghc.mk
-rwxr-xr-x 18 ln