| commit | 7972a5a4f27593008d8e82623e5910832b0fcf55 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat May 06 22:32:35 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat May 06 22:32:35 2000 +0000 |
| tree | 67f499bfd06d7b9a13fdd8db6eefcbaba844db89 | |
| parent | 18856b80e295c2f1fa299d4cbcbc4d09c821f174 [diff] |
We should define both USE_GUSI and USE_GUSI2.