(Fexecute_extended_command): Delete junk lines.
authorRichard M. Stallman <rms@gnu.org>
Wed, 11 Sep 1996 19:24:19 +0000 (19:24 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 11 Sep 1996 19:24:19 +0000 (19:24 +0000)
commit5434fce64e7be25019ebcfe1a5d267f9a5a35693
treedd92301a623fd2fd596b1769f65764d14ba37c46
parentaeb3e6326a6a21ac3372ff9cfca949ebef523a61
(Fexecute_extended_command): Delete junk lines.
Print the key bindings after the command, temporarily;
then bring back the previous message.
src/keyboard.c