comparison man/info-stnd.texi @ 31697:5732e757b20f

(menu_bar_items, tool_bar_items) (current_active_maps): Remove redundant get_local_map call.
author Dave Love <fx@gnu.org>
date Mon, 18 Sep 2000 18:45:01 +0000
parents 539960b7d9ac
children
comparison
equal deleted inserted replaced
31696:6856f91c0301 31697:5732e757b20f