cvs commit: hugs98/tools hugs-hc

23 Apr 2005


      ross        2005/04/22 09:37:14 PDT

  Modified files:
    tools                hugs-hc 
  Log:
  also use OPTIONS_GHC
  
  Revision  Changes    Path
  1.6       +1 -1      hugs98/tools/hugs-hc

Ross Paterson

tags

participants (1)