| commit | 04df9d5ad4a85cbab59b7a5e78756b9d7a475fd8 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 23 15:49:43 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 23 15:49:43 1996 +0000 |
| tree | 2d222ec79faa7340f5295b43443f36b8f6c558d3 | |
| parent | d96cb5088a41d218bfa6e4db444fc4b671c00c9b [diff] |
Added dialog-centering code to splash()