diff man/reftex.texi @ 38881:ef5cc490984d

Fix a few minor markup errors.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 20 Aug 2001 18:46:16 +0000
parents 8d7aebc49a9a
children a8c0a02f6129
line wrap: on
line diff