diff man/reftex.texi @ 71642:fa9d190c602e

(Coding Conventions): Cleanup last change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 05 Jul 2006 17:04:09 +0000
parents b7261e09f8e4
children 7637a6a23f0f a8190f7e546e
line wrap: on
line diff