diff make-dist @ 6593:f7729c7b0aa7

Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Wed, 30 Mar 1994 16:04:08 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff