diff make-dist @ 26188:d3cc464b9e87

Patch from rms.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 26 Oct 1999 12:24:28 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff