diff man/vip.texi @ 45299:948bb97d1e60

(easy-menu-name-match): Match both displayed text and internal name as string.
author Jason Rumney <jasonr@gnu.org>
date Tue, 14 May 2002 21:19:16 +0000
parents 39cfe73648c8
children 0a70200bde27
line wrap: on
line diff