diff make-dist @ 35952:ee8915d202b1

Revert last change.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 07 Feb 2001 05:46:52 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff