cvs commit: hugs98/src/msc options.h

18 Jan 2005


      ross        2005/01/18 17:14:58 PST

  Modified files:
    src/msc              options.h 
  Log:
  small fix
  
  Revision  Changes    Path
  1.19      +3 -3      hugs98/src/msc/options.h

cvs commit: hugs98/src/msc options.h

Ross Paterson