diff make-dist @ 4094:1dae74fd93d2

(Qdisabled_command_hook): New variable. (Vdisabled_command_hook): Deleted. (syms_of_keyboard): Corresponding changes. (Fcommand_execute): Use Qdisabled_command_hook.
author Richard M. Stallman <rms@gnu.org>
date Thu, 15 Jul 1993 03:09:56 +0000
parents 43a30cb1b170
children c720be6f3fae
line wrap: on
line diff