diff configure @ 91432:649ddfa757be

(whitespace-char-valid-p): Use characterp rather than char-valid-p.
author Glenn Morris <rgm@gnu.org>
date Sat, 02 Feb 2008 04:17:54 +0000
parents c30ad5eb44dc
children 7ea128029a41
line wrap: on
line diff