| commit | b19c667d944fb89ac3f0cd98397294756b6f95ad | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 12 21:24:05 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 12 21:24:05 2000 +0000 |
| tree | 7f1a494ca92e65bbf883f6c3734a14ff979a6655 | |
| parent | dc86f9ebf9cfb98d7323c37e63f70ee9472d5e82 [diff] |
Added a method KeepConsole so programs can override the Keep console open option.