diff make-dist @ 26108:08a36c7a0a52

Merge changes from version `1.3s' which we weren't sent.
author Dave Love <fx@gnu.org>
date Tue, 19 Oct 1999 18:27:39 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff