diff make-dist @ 13290:4caecb87e4ec

(ok_to_echo_at_next_pause): Make it a char *. (read_char): Copy and compare with echo_area_glyphs.
author Richard M. Stallman <rms@gnu.org>
date Tue, 24 Oct 1995 22:20:58 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff