diff info/dir @ 91440:43e659e97106

Delete trailing whitespace. (top-level): Use characterp rather than char-valid-p.
author Glenn Morris <rgm@gnu.org>
date Sat, 02 Feb 2008 04:28:47 +0000
parents 29d30adaf4e4
children 146cd8369025 e8535ac41fad
line wrap: on
line diff