diff make-dist @ 28817:0c88826ad7fd

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Thu, 04 May 2000 21:52:38 +0000
parents d6607102aa71
children 9eb6792eefac
line wrap: on
line diff