diff man/reftex.texi @ 39461:d9207f337e2d

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 26 Sep 2001 18:03:51 +0000
parents a8c0a02f6129
children 421e0a91a1d1
line wrap: on
line diff