diff make-dist @ 68386:b0411bb09a9a

#
author André Spiegel <spiegel@gnu.org>
date Wed, 25 Jan 2006 19:00:22 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff