diff man/misc.texi @ 47254:f66d837bdbff

(easy-menu-define): Fix spacing.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 06 Sep 2002 07:13:06 +0000
parents c31280155efa
children 5dbc6d83f14d
line wrap: on
line diff