diff make-dist @ 71857:f0d5cd4ffd22

Fix typo in prev change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 12 Jul 2006 16:09:53 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
line wrap: on
line diff