diff make-dist @ 33579:952f2b202a9a

Minor fixes from author.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 17 Nov 2000 22:49:45 +0000
parents a020c0f20186
children 96a0426fa611
line wrap: on
line diff