diff man/reftex.texi @ 39899:34ec3a68775d

Put doc strings in comments.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 13 Oct 2001 20:44:17 +0000
parents a8c0a02f6129
children 421e0a91a1d1
line wrap: on
line diff