diff make-dist @ 89494:00ee0befb8b9

(standard-display-default): Use characterp.
author Dave Love <fx@gnu.org>
date Wed, 10 Sep 2003 17:54:12 +0000
parents 375f2633d815
children 6d8448173335
line wrap: on
line diff