diff install-sh @ 88996:fe13096d1829

(character): Use characterp.
author Dave Love <fx@gnu.org>
date Sun, 18 Aug 2002 13:34:52 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff