diff INSTALL @ 12032:b60e87249b27

Fix capitalization in menu bar. (gud-xdb-find-file): Delete duplicate menu-bar entry.
author Karl Heuer <kwzh@gnu.org>
date Tue, 30 May 1995 22:59:41 +0000
parents 3f5326542cf6
children 02b843631c0f
line wrap: on
line diff