diff make-dist @ 15718:8db4678b2fd8

Undo previous changes.
author Karl Heuer <kwzh@gnu.org>
date Tue, 16 Jul 1996 22:37:24 +0000
parents 409a68abc61c
children 80562f089595
line wrap: on
line diff