diff man/misc.texi @ 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 ab1b2a789b1d
children 02b9a9aa5b0c
line wrap: on
line diff