diff lib-src/getopt1.c @ 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 134b57acef68
children 08f82ce16ede
line wrap: on
line diff