diff make-dist @ 25975:e368b754fe25

Add patch from rms around line 1870.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 10 Oct 1999 21:25:17 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff