diff make-dist @ 4943:7a6aea972b7e

Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Nov 1993 21:37:50 +0000
parents 6e068e4635e0
children f27254ec443e
line wrap: on
line diff