diff src/w32gui.h @ 16166:05e71f2b317e

(Fexecute_extended_command): Delete junk lines. Print the key bindings after the command, temporarily; then bring back the previous message.
author Richard M. Stallman <rms@gnu.org>
date Wed, 11 Sep 1996 19:24:19 +0000
parents ee40177f6c68
children c686d4f3728a
line wrap: on
line diff