| commit | b19444fecac0fd38ef9647ad6e4efb4fb58893a6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:48:25 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:48:25 2002 +0000 |
| tree | 3c74461a310471161d7b5f2f5887599dca24ce91 | |
| parent | 8ab04b4d65586829887822a78d038a33ee7a69fd [diff] |
Got rid of ifdefs for long-obsolete GUSI versions and other stuff that is now standard (appearance, interned strings)