tree 7f1a494ca92e65bbf883f6c3734a14ff979a6655
parent dc86f9ebf9cfb98d7323c37e63f70ee9472d5e82
author Jack Jansen <jack.jansen@cwi.nl> 971385845 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 971385845 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4018051

Added a method KeepConsole so programs can override the Keep console open option.