comparison make-dist @ 88847:1538d056ea25

(display_mode_element): Fix call of Fset_text_properties.
author Dave Love <fx@gnu.org>
date Tue, 16 Jul 2002 13:57:00 +0000
parents 1109a8546104
children 071e287dcbde
comparison
equal deleted inserted replaced
88846:8a17b9f646a3 88847:1538d056ea25