diff admin/build-configs @ 60753:bbeddd423eb1

(keys_of_keyboard): Just use `ignore' instead of the redundant `ignore-event'.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 19 Mar 2005 16:36:01 +0000
parents 695cf19ef79e
children c53a9463c31a 375f2633d815
line wrap: on
line diff