| commit | e355c4568f30b720c714d999ffb621b5bd83c137 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 12 13:29:04 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 12 13:29:04 1996 +0000 |
| tree | 5437f6e072528d512893cd93199cec56c2f3a6b3 | |
| parent | 4032c2c1ce3e15fa038721938854bdec14334600 [diff] |
- Allow setting of argc/argv in <option>-start dialog - Set "ok" to be default button