diff make-dist @ 22989:c7c48ac2e34b

(read_char): Don't decrement this_command_key_count when saving it.
author Richard M. Stallman <rms@gnu.org>
date Mon, 10 Aug 1998 07:22:21 +0000
parents d929ae6f35d3
children e270203c0c9f
line wrap: on
line diff