| commit | 6f47bf44caae86045c784477f77a7b11cbad9aed | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 12 15:03:35 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 12 15:03:35 1995 +0000 |
| tree | 8bbd3262a00159715ee8f411df4fc6339ad9abd8 | |
| parent | 425e9eb6cb269dda231a617a28252f5232ccc624 [diff] |
Minor bugfix in keyboard input handling