[project @ 2003-09-23 16:02:34 by simonmar]
authorsimonmar <unknown>
Tue, 23 Sep 2003 16:02:34 +0000 (16:02 +0000)
committersimonmar <unknown>
Tue, 23 Sep 2003 16:02:34 +0000 (16:02 +0000)
commit2e160a48acce946bc2c94dc433e7cc50f5d725f8
tree9b61337005465d14dc64317bad457c96bc7be123
parenta11a320dc5900eb9b98ac3f4d929082be538f3f1
[project @ 2003-09-23 16:02:34 by simonmar]
Change some statics to dynamics, and remove a couple of obsolete options.
ghc/docs/users_guide/flags.sgml