diff etc/TUTORIAL.de @ 46520:31c7343400b9

(timer-inc-time): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Thu, 18 Jul 2002 15:02:00 +0000
parents 89727a7321d0
children 0b93e51d4568
line wrap: on
line diff