diff make-dist @ 5645:214263de8277

Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Thu, 20 Jan 1994 19:56:36 +0000
parents 27013efefaab
children 76d9b1408e5c
line wrap: on
line diff