diff make-dist @ 19008:12eb62604fa7

Customized. Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Sun, 27 Jul 1997 19:50:06 +0000
parents f0453e066438
children 2cf5e8809c8e
line wrap: on
line diff