diff lispref/numbers.texi @ 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 89afca54a135
children 4d77816c7cad
line wrap: on
line diff