diff man/reftex.texi @ 41870:08a00f891a45

(display_mode_element): Don't read past end of string if it ends with '%'.
author Andreas Schwab <schwab@suse.de>
date Fri, 07 Dec 2001 13:35:11 +0000
parents 421e0a91a1d1
children 2406cf2da1d4
line wrap: on
line diff