diff config.sub @ 98920:60fa4a4ddd56

Info-mode: Do not remove an existing header line if `Info-use-header-line' is nil.
author David Reitter <david.reitter@gmail.com>
date Mon, 20 Oct 2008 02:23:01 +0000
parents ec8ebd395432
children bebcd628da3f
line wrap: on
line diff