diff man/ada-mode.texi @ 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 3723093a21fd 375f2633d815
line wrap: on
line diff