comparison make-dist @ 18808:a431fbda7f23

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 15 Jul 1997 18:58:44 +0000
parents 7113c3fe2d3a
children 4a53a2477850
comparison
equal deleted inserted replaced
18807:75b2e402c45d 18808:a431fbda7f23