diff man/killing.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 2921bb6221db
children 7d3fd66a3ac3
line wrap: on
line diff