[project @ 2005-02-18 18:30:40 by ross]
authorross <unknown>
Fri, 18 Feb 2005 18:30:40 +0000 (18:30 +0000)
committerross <unknown>
Fri, 18 Feb 2005 18:30:40 +0000 (18:30 +0000)
Rename package description fields as in InstalledPackageInfo:

options-ghc -> ghc-options
options-hugs -> hugs-options
options-nhc -> nhc-options
extra-libs -> extra-libraries


No differences found