diff config.bat @ 71824:d015c4ec8df4

(CHECK_CATEGORY, CHECK_CATEGORY_SET): Use CHECK_TYPE.
author Kim F. Storm <storm@cua.dk>
date Wed, 12 Jul 2006 13:14:11 +0000
parents b99080e25b28
children ddcbd2c1b70d 72dea2ff0142
line wrap: on
line diff