| commit | 85705e73b16e1371fea5cb29a304275387f726b3 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:56:15 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:56:15 2002 +0000 |
| tree | a073239c312c523e2514af318efde082fb4defa1 | |
| parent | 786681ac60a0ce320310566b7fe90e09ee25a0b2 [diff] |
Got rid of obsolete defines.