diff etc/cs-dired-ref.ps @ 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 9f624bf5ffee
children 92764456e335
line wrap: on
line diff