diff make-dist @ 12341:315c2aaf43a1

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 20 Jun 1995 17:31:18 +0000
parents ed11e19b4264
children 543e6df4f753
line wrap: on
line diff