simonmar 2006/01/06 03:07:25 PST Modified files: (Branch: ghc-6-4-branch) ghc/docs/users_guide flags.xml Log: merge rev. 1.22 Revision Changes Path 1.11.2.6 +6 -1 fptools/ghc/docs/users_guide/flags.xml