diff man/basic.texi @ 27668:be97ea826e95

(bind_polling_period): Stop all timers except poll_timer.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 12 Feb 2000 13:11:29 +0000
parents dddb1bca9704
children 9ab15b2742ba
line wrap: on
line diff