diff man/info.texi @ 80412:3aec81c35e11

(next_overlay_string): Don't set overlay_strings_at_end_processed_p if we're currently reading from a display string.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 31 Mar 2008 22:37:54 +0000 (2008-03-31)
parents 02b9a9aa5b0c
children
line wrap: on
line diff