diff make-dist @ 16571:09234d82799a

cosmetic tweaks
author David J. MacKenzie <djm@gnu.org>
date Tue, 12 Nov 1996 18:52:10 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff