tree 18362d990bf96f104ccb59ccfc2acd104926c008
parent 2369a98eb90078c11762553b95aba243ccaf3b3d
author Jack Jansen <jack.jansen@cwi.nl> 887990399 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 887990399 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%409914

Fixed double-dispose of splash() dialog