comparison etc/gnus-pointer.xbm @ 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 20ca10cf58b3
children bb6c986199c4
comparison
equal deleted inserted replaced
37915:d4886ee1feae 37916:0b5642b0d6e4