| commit | 8ab04b4d65586829887822a78d038a33ee7a69fd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:46:23 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:46:23 2002 +0000 |
| tree | f276fd46f065664b962b12a2e51d78a44fa86c14 | |
| parent | 9b745f6665da02c4349e8a4e592dc42d6524b8d1 [diff] |
Got rid of ifdefs for long-obsolete GUSI versions.