diff man/reftex.texi @ 38081:fecdcc18b027

(tar-header-block-summarize): Add help-echo to mouse-highlighted text.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 17 Jun 2001 11:23:58 +0000
parents 8d7aebc49a9a
children a8c0a02f6129
line wrap: on
line diff