diff make-dist @ 55043:f3cd7742ff36

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 21 Apr 2004 19:13:00 +0000
parents 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff