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

[Simon Marlow]

simonmar    2005/04/25 04:08:15 PDT

  Modified files:        (Branch: ghc-6-4-branch)
    ghc/docs/users_guide profiling.xml 
  Log:
  merge rev. 1.5
  
  Revision  Changes    Path
  1.3.6.1   +4 -6      fptools/ghc/docs/users_guide/profiling.xml