diff make-dist @ 33550:21920cf46813

#
author André Spiegel <spiegel@gnu.org>
date Thu, 16 Nov 2000 15:32:56 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff