[project @ 2004-08-05 18:29:47 by krasimir]
authorkrasimir <unknown>
Thu, 5 Aug 2004 18:29:47 +0000 (18:29 +0000)
committerkrasimir <unknown>
Thu, 5 Aug 2004 18:29:47 +0000 (18:29 +0000)
Bugfix. --auto-ghci-libs doesn't work if the package was previously installed.


No differences found