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

[Sven Panne]

panne       2005/02/15 23:27:21 PST

  Modified files:
    libraries/tools      hugs-package.in 
  Log:
  Handle old-style "OPTIONS.*-#include" pragmas as well as the newer "INCLUDE" pragma
  
  Revision  Changes    Path
  1.17      +1 -1      hugs98/libraries/tools/hugs-package.in