diff configure.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 4efe8fac6854
children b120ed4d324f
line wrap: on
line diff