commit | 0b1f1b514524c4ee13e59e3695a4a06c6be119d1 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 17 23:39:35 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 17 23:39:35 2001 +0000 |
tree | 497623212eb31216232221117d9b0f702c84cb03 | |
parent | cbb5d4972f07423ce51d6181ffad8b14b07594bf [diff] |
- Removed debug - Make sure splash screens are visible