diff man/info-stnd.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 539960b7d9ac
children
line wrap: on
line diff