diff make-dist @ 23101:6193531a173e

Comment fix.
author Karl Heuer <kwzh@gnu.org>
date Wed, 26 Aug 1998 18:00:04 +0000
parents d929ae6f35d3
children e270203c0c9f
line wrap: on
line diff