diff configure.in @ 14998:ffbd85603f91

(wait_reading_process_input, both definitions): Don't call detect_input_pending; use detect_input_pending_run_timers.
author Richard M. Stallman <rms@gnu.org>
date Fri, 12 Apr 1996 06:02:54 +0000
parents 3f2d133c05a8
children f7c5a03c6393
line wrap: on
line diff