diff make-dist @ 64208:5177474d1ca7

(with-timeout-timers): New variable. (with-timeout): Bind that variable to record timers. (with-timeout-suspend, with-timeout-unsuspend): New functions.
author Richard M. Stallman <rms@gnu.org>
date Sun, 10 Jul 2005 17:18:25 +0000
parents c53a9463c31a
children 385af3e03206 f9a65d7ebd29
line wrap: on
line diff