tree dc93a0d4c1b2dce32f42c19060cbcc66661a09a7
parent b7d0df4a91fd89cb63c12b843eb8dd3dc11ea9cb
author Jack Jansen <jack.jansen@cwi.nl> 807026106 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 807026106 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%405344

mac CW-only fix for messy windows upon exit