diff lib-src/getopt_int.h @ 79779:e5bf94d898ea

(mouse-major-mode-menu): Suppress duplicate menus.
author Glenn Morris <rgm@gnu.org>
date Tue, 08 Jan 2008 05:13:16 +0000
parents 1f2482de3237
children ef719132ddfa
line wrap: on
line diff