cvs commit: hugs98/libraries/tools hugs-package.in

[Ross Paterson]

ross        2004/12/02 16:38:27 PST

  Modified files:
    libraries/tools      hugs-package.in 
  Log:
  buglet
  
  Revision  Changes    Path
  1.15      +1 -1      hugs98/libraries/tools/hugs-package.in