diff make-dist @ 31958:e78f4af801c8

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Thu, 28 Sep 2000 16:38:54 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff