commit | cbe6a53d1ffe76702a2873429f2c57f9609a7f48 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 15:59:59 1998 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 15:59:59 1998 +0000 |
tree | 18362d990bf96f104ccb59ccfc2acd104926c008 | |
parent | 2369a98eb90078c11762553b95aba243ccaf3b3d [diff] |
Fixed double-dispose of splash() dialog