diff admin/revdiff @ 40921:95756d215716

(set_text_properties_1): New subroutine, broken out of set_text_properties. (set_text_properties): Use set_text_properties_1.
author Richard M. Stallman <rms@gnu.org>
date Sun, 11 Nov 2001 20:03:24 +0000
parents 570be39418f4
children 23a1cea22d13
line wrap: on
line diff