diff man/ediff.texi @ 48479:a24391626ba1

(separator_height): Prototype.
author Dave Love <fx@gnu.org>
date Wed, 20 Nov 2002 19:19:14 +0000
parents 0a70200bde27
children 0f80cb4f9d29
line wrap: on
line diff