| commit | 5125c76b689da26beec7dd4e60595ce0dd661d93 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 03 14:56:59 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 03 14:56:59 2003 +0000 |
| tree | 1e0d2f64e42bd202c7fd9d2b8c8c408867805f97 | |
| parent | 885d4f65776b650e51301ac4cb3138fa08c82cda [diff] |
Gave the text fields a little more space, so they don't get cut off.