| commit | ab7fcdd770c776c728a12b8598a55e12cdb64260 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon May 20 11:32:00 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon May 20 11:32:00 1996 +0000 |
| tree | 90c434d2f4cbc433d8453dd2a55aef24cc935595 | |
| parent | 9d640a3d847ee2c7dbda0de548d3e417baebdcd1 [diff] |
Added splash method (to quickly display splash screen without first having to load a zillion extension modules)