diff man/mule.texi @ 56847:6079dd23b546

Don't call ENCODE_MENU_STRING on top level menu names, GC may occur.
author Jan Djärv <jan.h.d@swipnet.se>
date Mon, 30 Aug 2004 20:14:21 +0000
parents 7232ffdd33dd
children a322009ca3d0
line wrap: on
line diff