| commit | 9ec8c0600a3ef75fffee3ae2586fcfef57c1580a | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 20:33:41 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 20:33:41 2000 +0000 |
| tree | b640f9d1477e7c28534d58c82b36f8f6f88718b8 | |
| parent | 749023695e6928beb4a7dbf4cf2c799f77995011 [diff] |
Different phrasing of keepconsole options, suggested by David Goodger.