| 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