| commit | 5159f1da7d6060f8d1f19af064f6e2d54d2f2adb | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:53:03 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:53:03 2002 +0000 |
| tree | 0ceec877db088e9383a14f4eb075cfc7f6c2f8db | |
| parent | 32baa2c8d223d0abd14dd5bde68d1e330fa98f01 [diff] |
Got rid of ifdefs for long-obsolete GUSI versions and other lurkers.