| commit | ca919da9c95024d4f550d8a4ba7550557f69961e | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 23 15:55:59 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 23 15:55:59 2001 +0000 |
| tree | 8862803db45ef2568b972c7936c5329b1337e82c | |
| parent | cfa4096618650f6317c8872b8cbe7daaf90ccb03 [diff] |
Made the about box a bit larger (Apparently MacOSX does something a little different?).