[project @ 2001-10-19 09:33:28 by sewardj]
authorsewardj <unknown>
Fri, 19 Oct 2001 09:33:28 +0000 (09:33 +0000)
committersewardj <unknown>
Fri, 19 Oct 2001 09:33:28 +0000 (09:33 +0000)
commit033561ea87f90b8de024f0a82b13c7327e2c6117
tree7915d46381a996d05f472770063cf7e8cfd22a19
parent685e04e4af2e2332f2555990122596c7931cb543
[project @ 2001-10-19 09:33:28 by sewardj]
merge from stable rev 1.54.4.1:

  CLEAN_FILES += gmp/libgmp.a
ghc/rts/Makefile