diff etc/TUTORIAL @ 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 7a3398850d94
children 6cb6d2fe6999
line wrap: on
line diff