diff man/reftex.texi @ 31618:7a25e378e8bc

(DONTCOMPILE): Fix typo.
author Andrew Innes <andrewi@gnu.org>
date Thu, 14 Sep 2000 21:18:11 +0000
parents 95bdbefcdac6
children 6679ef9b33fe
line wrap: on
line diff