diff make-dist @ 6573:33ae9314b443

Fix glitches in previous change.
author Karl Heuer <kwzh@gnu.org>
date Tue, 29 Mar 1994 06:37:09 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff