diff man/ediff.texi @ 33923:44a439ef63c0

(tooltip-use-echo-area): Doc fix.
author Dave Love <fx@gnu.org>
date Mon, 27 Nov 2000 17:50:38 +0000
parents 9fd41b036b84
children bf6ed2c46424
line wrap: on
line diff