diff man/ediff.texi @ 33870:8816b5542315

(x_change_window_heights): New function.
author Jason Rumney <jasonr@gnu.org>
date Fri, 24 Nov 2000 21:31:14 +0000
parents 9fd41b036b84
children bf6ed2c46424
line wrap: on
line diff