diff man/display.texi @ 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 240df9dae7a7
children 66e5313fd5bc
line wrap: on
line diff