diff lib-src/rcs-checkin @ 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 aa19e3673b9f
children 9e5812a795da
line wrap: on
line diff