diff configure.in @ 16077:740cd456b1da

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