diff make-dist @ 5862:0449645855c3

(disabled-command-hook): Use eq to compare elts of this-command-keys.
author Richard M. Stallman <rms@gnu.org>
date Wed, 09 Feb 1994 05:36:48 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff