diff make-dist @ 41603:4c61a8ae179d

Fix indentation of previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 27 Nov 2001 04:30:43 +0000
parents 9cef47e51d37
children 1cc9127ddf72
line wrap: on
line diff