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.