diff etc/enriched.doc @ 10233:100a10bb4d47

(read_char): Don't echo keys when echo_keystrokes is 0.
author Richard M. Stallman <rms@gnu.org>
date Sat, 24 Dec 1994 01:53:16 +0000
parents 721cc180810c
children 2484f8186e34
line wrap: on
line diff