diff info/dir @ 89494:00ee0befb8b9

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