diff make-dist @ 26400:53eeb3b7c785

Patch from rms.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 10 Nov 1999 22:01:35 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff