cvs commit: hugs98/docs/users_guide options.xml

1 Dec 2005


      ross        2005/12/01 11:34:14 PST

  Modified files:
    docs/users_guide     options.xml 
  Log:
  track Cabal change
  
  Revision  Changes    Path
  1.21      +1 -1      hugs98/docs/users_guide/options.xml

cvs commit: hugs98/docs/users_guide options.xml

Ross Paterson