diff etc/THE-GNU-PROJECT @ 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 575c9b78d09c
children 734ca0fe6d3e
line wrap: on
line diff