[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)
commit0e7b8c87f32cbdbb931a01537a578ee30ac2e026
tree5c2d030ef927a789f7fb2607f71512d767f496c3
parent8c4de43174d28741b5172397da3eb1c672cb876b
[project @ 2004-08-05 18:29:47 by krasimir]
Bugfix. --auto-ghci-libs doesn't work if the package was previously installed.
ghc/utils/ghc-pkg/Main.hs