cvs commit: fptools/ghc/docs/users_guide flags.xml

[Simon Marlow]

simonmar    2005/07/21 02:57:23 PDT

  Modified files:
    ghc/docs/users_guide flags.xml 
  Log:
  Remove -fnumbers-strict; it doesn't exist any more
  
  Revision  Changes    Path
  1.15      +0 -7      fptools/ghc/docs/users_guide/flags.xml