projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from:
d7bef6c
)
[project @ 2005-02-18 18:30:40 by ross]
author
ross
<unknown>
Fri, 18 Feb 2005 18:30:40 +0000
(18:30 +0000)
committer
ross
<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