| commit | ee0810403dc95f232c0217876e026bac6667e8ae | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 21 23:53:37 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 21 23:53:37 2000 +0000 |
| tree | 4181684b1b2b2a37cac61fd29e22a6b87abb273a | |
| parent | 6dd9fc1a2cf48a1db9881eb8607575d6fe5adab5 [diff] |
Made the GUSI options work again with GUSI 2.