diff man/reftex.texi @ 72188:6100ca974994

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 29 Jul 2006 22:03:14 +0000
parents b7261e09f8e4
children 7637a6a23f0f a8190f7e546e
line wrap: on
line diff