diff man/reftex.texi @ 38814:d4d24695f9e2

(Trailing Whitespace): Document that the option is buffer-local. Suggested by Robert Marshall <robert@chezmarshall.freeserve.co.uk>.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 14 Aug 2001 13:14:31 +0000
parents 8d7aebc49a9a
children a8c0a02f6129
line wrap: on
line diff