diff make-dist @ 12020:6ef622c132df

(ediff-setup-control-frame): Make Ediff delete the old control frame before creating a new one.
author Karl Heuer <kwzh@gnu.org>
date Tue, 30 May 1995 19:20:47 +0000
parents b951b7cc955e
children be8ee5a825b0
line wrap: on
line diff