diff config.bat @ 14291:3eb791861e23

(menu-bar-search-menu): Clean up key symbols. (menu-bar-tools-menu): Rename vc-menu key symbol to just vc.
author Karl Heuer <kwzh@gnu.org>
date Wed, 24 Jan 1996 23:29:01 +0000
parents 327ff78701e0
children 63951d3f3995
line wrap: on
line diff