[project @ 2005-01-11 16:06:56 by simonmar]
authorsimonmar <unknown>
Tue, 11 Jan 2005 16:06:58 +0000 (16:06 +0000)
committersimonmar <unknown>
Tue, 11 Jan 2005 16:06:58 +0000 (16:06 +0000)
commit55d795e2ca8f0c97e3002d4eb528862dd9d44e55
treed6d9c48635b1f223f22271075582c3eef7b8591a
parent131774367f941bf26b2bacab921389fb5c24abf8
[project @ 2005-01-11 16:06:56 by simonmar]
Rename OPTIONS to OPTIONS_GHC.
ghc/docs/users_guide/glasgow_exts.xml
ghc/docs/users_guide/using.xml