diff man/reftex.texi @ 39184:99eeeafafa93

(locate-insert-header): Remove unnecessary whitespaces.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 07 Sep 2001 13:32:45 +0000
parents 8d7aebc49a9a
children a8c0a02f6129
line wrap: on
line diff