diff make-dist @ 27017:78e14b5e988c

Hideshow changes.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 28 Dec 1999 13:08:05 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff