[project @ 2001-08-23 10:29:53 by rrt]
authorrrt <unknown>
Thu, 23 Aug 2001 10:29:53 +0000 (10:29 +0000)
committerrrt <unknown>
Thu, 23 Aug 2001 10:29:53 +0000 (10:29 +0000)
commit17c8f290f79fe40acb45c7cb610847a6f7757303
tree1abf1641c177633fe070e2ee0e8366907bc34725
parent3c5f4c86bb70c3707a6f865769daf6d4d235a16e
[project @ 2001-08-23 10:29:53 by rrt]
reinstate some Windows-specific code I deleted by mistake.
ghc/rts/gmp/configure