(Timers): Discuss timers vs editing the buffer and undo.
commite756f049c6cc337a05746839de61b39e440ce119
authorRichard M. Stallman <rms@gnu.org>
Wed, 29 Dec 2004 20:10:57 +0000 (29 20:10 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 29 Dec 2004 20:10:57 +0000 (29 20:10 +0000)
treee0280c7827892baf2a33b9ee1cf302521ab8b6d5
parent30c92fab793df102666fff234d59377003a79462
(Timers): Discuss timers vs editing the buffer and undo.
lispref/os.texi