diff make-dist @ 7624:41a42a288277

Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sun, 22 May 1994 19:05:23 +0000
parents 836cfa8829a7
children 6191acd134b6
line wrap: on
line diff