diff man/dired.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 79e9f560240d
children c9c43bb7f1d2
line wrap: on
line diff