diff configure1.in @ 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 c1e70445780e
children
line wrap: on
line diff