diff etc/COOKIES @ 37916:0b5642b0d6e4

(char_property_eq): Put in #if 0.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 28 May 2001 12:04:26 +0000
parents 03ddf0b96330
children 23a1cea22d13
line wrap: on
line diff