diff make-dist @ 16077:740cd456b1da

(run-at-time): Doc fix.
author Paul Eggert <eggert@twinsun.com>
date Tue, 03 Sep 1996 05:20:35 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff