diff make-dist @ 39263:343d48d4e64c

Spelling corrections. Delete obsolete comment.
author Richard M. Stallman <rms@gnu.org>
date Wed, 12 Sep 2001 20:59:32 +0000
parents c1607757c868
children 3634931bc971
line wrap: on
line diff