| commit | 85cacf2b5bd4ba144e6b056353b914cab63ec6db | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Sep 08 10:19:49 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Sep 08 10:19:49 2000 +0000 |
| tree | 8de6cd0870b5c185a6d2a0d9147a3b15a00e1ef5 | |
| parent | 3500d85b0761f013c702af0d43f119ab058f9432 [diff] |
Added USE_UCNHASH, defined USE_GUSI if USE_GUSI{1,2} defined.