diff make-dist @ 20776:219fdecc30d3

(internal_equal): Use compare_window_configurations.
author Richard M. Stallman <rms@gnu.org>
date Mon, 26 Jan 1998 08:47:06 +0000
parents 036dac77f78f
children 17bcec31f3d4
line wrap: on
line diff