diff make-dist @ 9956:cc76b76a1ed1

(CHECK_NATNUM): Use NATNUMP instead of its expansion.
author Karl Heuer <kwzh@gnu.org>
date Wed, 16 Nov 1994 00:55:11 +0000
parents ee0d90e7720d
children 9b43de28b295
line wrap: on
line diff