diff make-dist @ 14785:e4a9806c1e83

(wait_reading_process_input): Redisplay after timer_check if timers were actually run.
author Richard M. Stallman <rms@gnu.org>
date Fri, 08 Mar 1996 03:51:46 +0000
parents f41775f4f5c6
children da70e30f73b9
line wrap: on
line diff