diff man/reftex.texi @ 48227:efcead0d345a

(Fset_buffer_major_mode): Fix last change.
author Dave Love <fx@gnu.org>
date Sat, 09 Nov 2002 12:43:58 +0000
parents 0a70200bde27
children 23a1cea22d13
line wrap: on
line diff