diff config.bat @ 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 80562f089595
children a6df390c0f5e
line wrap: on
line diff