| commit | b96aeafdc37cf9ba65ab5353ff3e318cf209e8e2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 09 09:38:06 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 09 09:38:06 1996 +0000 |
| tree | f2a934beecad9df1d1593ab9d5200710daa5fa6e | |
| parent | ca8cdc60661708d0d7975fa01fa99caa9646a9b2 [diff] |
tweaked some of the positions of interface elements.