diff config.bat @ 9943:4e6e0478baef

(NATNUMP): New macro. (CHECK_NATNUM): Use that macro instead of its expansion.
author Karl Heuer <kwzh@gnu.org>
date Tue, 15 Nov 1994 22:45:31 +0000
parents 9eae919f9a23
children 09c2ad9213dd
line wrap: on
line diff