diff etc/pl-refcard.ps @ 40920:eb5f176de735

(graft_intervals_into_buffer): Use set_text_properties_1 to clear out properties.
author Richard M. Stallman <rms@gnu.org>
date Sun, 11 Nov 2001 20:02:58 +0000
parents cca3d7d412be
children 3f1743ca9233
line wrap: on
line diff