diff man/reftex.texi @ 71945:e89be002734a

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 17 Jul 2006 20:59:54 +0000
parents b7261e09f8e4
children 7637a6a23f0f a8190f7e546e
line wrap: on
line diff