diff man/custom.texi @ 31662:08829d842312

(header-line): Change defaults to be less confusing when mixed with mode-lines.
author Miles Bader <miles@gnu.org>
date Sun, 17 Sep 2000 16:41:02 +0000
parents 9c560a17ef4a
children 1c497211a58d
line wrap: on
line diff