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.