cvs commit: hugs98/src/msc options.h

Sigbjorn Finne sof@glass.cse.ogi.edu
Thu, 11 Apr 2002 16:14:58 -0700 

sof         2002/04/11 16:14:58 PDT

  Modified files:
    src/msc              options.h 
  Log:
  put lib/hugs at the back of default HUGSPATH; rarely visited nowadays
  
  Revision  Changes    Path
  1.6       +3 -3      hugs98/src/msc/options.h