| commit | 10496eb5719d2f33ae92396431e0da0a6806d68d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 07 17:01:47 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 07 17:01:47 1996 +0000 |
| tree | 895bdd36a8ade7ed1b0b91554209cd1c7b0b1e37 | |
| parent | b072150d7f737728236ed819bc17383411e4eb86 [diff] |
Added handling for new options, fixed applet option setting