diff config.bat @ 14802:45827a5afe4d

[!subprocesses] (wait_reading_process_input): Port the timer changes from the other wait_reading_process_input.
author Richard M. Stallman <rms@gnu.org>
date Sun, 10 Mar 1996 14:38:37 +0000
parents 327ff78701e0
children 63951d3f3995
line wrap: on
line diff