diff man/eudc.texi @ 48479:a24391626ba1

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