diff etc/MACHINES @ 30336:01102e63ed88

(run-with-idle-timer): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Wed, 19 Jul 2000 22:04:34 +0000
parents 03ddf0b96330
children dd5077dea379
line wrap: on
line diff