diff etc/ps-prin1.ps @ 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 f7aaa73f592e
children e5675426ff4c
line wrap: on
line diff