| commit | ff170fbbb5cb17aba7d2aa0523a389599a2341d7 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 16:08:47 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 16:08:47 1998 +0000 |
| tree | 6dd8a32ea084cd80c56f25ed0bf8b6602be76233 | |
| parent | 73c804a3cd864cdb0ae2f2cff816848633f454f2 [diff] |
Default button on main window wasn't set correctly