diff lispintro/cons-5.eps @ 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 a8fd89a466fd
children
line wrap: on
line diff