diff configure1.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 c1e70445780e
children
line wrap: on
line diff