diff etc/HELLO @ 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 91389cc47405
children 3c634255d649
line wrap: on
line diff