diff move-if-change @ 31051:37d565afa4ae

Mark max-mini-window-height as documented in the manual.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 22 Aug 2000 11:12:48 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff