diff man/reftex.texi @ 34290:2f5e050486ce

(occur): Make line-number-width 1 smaller for the colon following the line number.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 06 Dec 2000 17:14:38 +0000
parents 95bdbefcdac6
children 6679ef9b33fe
line wrap: on
line diff