cvs commit: hugs98/docs/users_guide options.xml

[Ross Paterson]

ross        2004/10/31 16:07:11 PST

  Modified files:
    docs/users_guide     options.xml 
  Log:
  typos
  
  Revision  Changes    Path
  1.9       +4 -4      hugs98/docs/users_guide/options.xml