Hi!
If I do a new CVS checkout with
$ cvs -d:pserver:[EMAIL PROTECTED]:/cvs co -dfptools-199912 fpconfig
I get the whole bunch (CONTRIB, happy, haggis, hdirect, nofib, etc.),
despite the `modules' file shows:
fpconfig -a !fptools/ghc !fptools/haggis !fptools/happy !fptools/hslibs
If I do a new CVS checkout with
$ cvs -d:pserver:[EMAIL PROTECTED]:/cvs co
-dfptools-199912 fpconfig
I get the whole bunch (CONTRIB, happy, haggis, hdirect, nofib, etc.),
despite the `modules' file shows:
fpconfig -a !fptools/ghc !fptools/haggis
!fptools/happy