| commit | 38e976665d8a8b7c12bb0fc2ec96342f747332dd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 10 14:53:00 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 10 14:53:00 1995 +0000 |
| tree | 69265162f9d66975beca255c3acce748fecb2896 | |
| parent | 1e8557a9fe1267dedf57322abb1bf3deab53fd3f [diff] |
Cosmetic change to event handling.