diff man/makefile.w32-in @ 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 f70f04881620
children f07f61322989 fb79180b618d
line wrap: on
line diff