diff make-dist @ 25216:40dc181e545b

Initial revision
author Gerd Moellmann <gerd@gnu.org>
date Tue, 10 Aug 1999 13:33:49 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
line wrap: on
line diff