comparison make-dist @ 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 42dc72aedd45
children 80822bf12d5e
comparison
equal deleted inserted replaced
40919:864dc8e3a22d 40920:eb5f176de735