diff make-dist @ 41194:e0f2d5ffc822

(tool_bar_item_info): Avoid calling Fget_text_property with invalid position.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 17 Nov 2001 10:46:24 +0000
parents 1daffd332bcd
children 7c0b7eab16c4
line wrap: on
line diff