diff make-dist @ 13778:7b2f71009e4c

(PURE_P): New macro (three definitions). (CHECK_IMPURE): Use PURE_P.
author Karl Heuer <kwzh@gnu.org>
date Thu, 21 Dec 1995 17:13:56 +0000
parents 0923c642e324
children 0a94cd2c51c4
line wrap: on
line diff