diff etc/TUTORIAL.pl @ 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 e96ffe544684
children e7e9b4581430
line wrap: on
line diff