log

age author description
Tue, 30 Jul 2002 11:35:28 +0000 Dave Love (push_key_description): Call CHARACTERP correctly.