diff etc/rgb.txt @ 16103:4962e89ec8ef

(set_properties, add_properties, remove_properties): Call modify_region with ints.
author Richard M. Stallman <rms@gnu.org>
date Wed, 04 Sep 1996 03:35:53 +0000
parents 4da47e04a087
children 23a1cea22d13
line wrap: on
line diff