diff info/COPYING @ 59453:1312906d3476

(Electric-buffer-menu-mode): Preserve value of buffer-local var header-line-format.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Mon, 10 Jan 2005 11:54:08 +0000
parents 707b9ae3f778
children d92149473c34
line wrap: on
line diff