cvs commit: fptools/libraries/base/hugs exclude fptools/libraries /QuickCheck/hugs exclude

ross@glass.cse.ogi.edu ross@glass.cse.ogi.edu
Tue, 5 Aug 2003 10:16:17 -0700 

ross        2003/08/05 10:16:16 PDT

  Modified files:
    libraries/base/hugs  exclude 
  Added files:
    libraries/QuickCheck/hugs exclude 
  Log:
  adjust exclusions for Hugs
  
  Revision  Changes    Path
  1.9       +0 -1      fptools/libraries/base/hugs/exclude