| commit | 2c9cb7aff3c19328f767d41d429549c1f7d8863f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 28 21:57:05 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 28 21:57:05 2000 +0000 |
| tree | 85b12ff02314cbe0b15d7201ccf560c0338f8b2c | |
| parent | 4e716fa0ac08d241944840019676f3ce8b1a07c5 [diff] |
Added USE_UCNHASH (experimental, I hope it can go)