diff make-dist @ 16986:dc0cd1c70c87

(compare-windows): Make more efficient use of result from compare-buffer-substrings.
author Karl Heuer <kwzh@gnu.org>
date Sun, 09 Feb 1997 22:55:17 +0000
parents 9694822642a7
children b29d903ca993
line wrap: on
line diff