diff config.bat @ 17073:5e66b1087c94

Change put-text-property with constant args to add-text-properties for efficiency. Suggested by Stavros Macrakis <s.macrakis@opengroup.org>
author Boris Goldowsky <boris@gnu.org>
date Mon, 24 Feb 1997 17:47:07 +0000
parents a6df390c0f5e
children 31e6205f80b6
line wrap: on
line diff