diff config.bat @ 7811:81b1a17562fe

(menu-bar-update-buffers): Avoid excessive consing.
author Karl Heuer <kwzh@gnu.org>
date Mon, 06 Jun 1994 05:05:28 +0000
parents 41a42a288277
children de6995fec29e
line wrap: on
line diff