diff make-dist @ 65535:ef44a1524bc8

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 15 Sep 2005 12:50:45 +0000
parents 385af3e03206
children 00005df1b3eb 890cc78a5a24
line wrap: on
line diff