diff make-dist @ 7701:ec15948b9458

(compare-windows): Make leading whitespace equivalent to no leading whitespace, according to IGNORE-WHITESPACE argument.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 May 1994 07:10:56 +0000
parents 836cfa8829a7
children 6191acd134b6
line wrap: on
line diff