diff make-dist @ 40855:0dddc8f93861

Minor cleanup.
author Richard M. Stallman <rms@gnu.org>
date Fri, 09 Nov 2001 16:21:34 +0000
parents 3634931bc971
children 42dc72aedd45
line wrap: on
line diff