[project @ 2002-07-25 14:47:30 by simonmar]
authorsimonmar <unknown>
Thu, 25 Jul 2002 14:47:30 +0000 (14:47 +0000)
committersimonmar <unknown>
Thu, 25 Jul 2002 14:47:30 +0000 (14:47 +0000)
commit80a99ae2d1d501d27fcd9789f382209f2192774f
tree9f68fdc18fa7796eb5f855a58af31344679b1f1f
parentdd0f41298bebcc4e6d966d38d457f3f7c6938bfa
[project @ 2002-07-25 14:47:30 by simonmar]
Add -ddump-minimal-imports (not sure why this was missing)

MERGE
ghc/docs/users_guide/flags.sgml