diff make-dist @ 49050:8b38bac9826a

(Buffer-menu-execute): Fix for effect of header line.
author Dave Love <fx@gnu.org>
date Sun, 05 Jan 2003 23:14:59 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff