diff make-dist @ 20989:c11150812ca0

Added version id.
author André Spiegel <spiegel@gnu.org>
date Fri, 27 Feb 1998 18:44:41 +0000
parents 17bcec31f3d4
children 70301d94ce1e
line wrap: on
line diff