diff src/config.in @ 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 3af29e56070e
children a568560d232f
line wrap: on
line diff