diff nt/ftime.bat @ 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 5ba81a9aa8e8
children 648f23bd7f72
line wrap: on
line diff