diff make-dist @ 26181:112e1bb0423a

Patch by rms.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 25 Oct 1999 16:03:03 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff