diff make-dist @ 26222:35c7eab893ab

Checkdoc-inspired fixes.
author Dave Love <fx@gnu.org>
date Wed, 27 Oct 1999 22:38:17 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff