diff etc/HELLO @ 71843:2d05f598fa85

(check_syntax_table): Use CHECK_TYPE.
author Kim F. Storm <storm@cua.dk>
date Wed, 12 Jul 2006 13:21:51 +0000 (2006-07-12)
parents d5fac4fe204c
children 75d12747d982
line wrap: on
line diff