| commit | 0e06e7e7d5c3d7d533340cb5c2d372bcb4f5b096 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 23 15:51:06 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 23 15:51:06 1996 +0000 |
| tree | 241c54067e5b9c2e321849ddfaef49dc0265542b | |
| parent | 04df9d5ad4a85cbab59b7a5e78756b9d7a475fd8 [diff] |
About boxes should be at 20% of screen height, not halfway