diff man/mini.texi @ 41501:994a9d1eee71

Minor change of wording in the documentation of jit-lock-defer-time.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 25 Nov 2001 18:00:35 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff