log

age author description
Mon, 20 Oct 2008 02:25:11 +0000 David Reitter * info.el (Info-mode): Do not remove an existing header line if
Mon, 20 Oct 2008 02:23:01 +0000 David Reitter Info-mode: Do not remove an existing header line if `Info-use-header-line' is nil.