diff update-subdirs @ 51682:f4620c9305c7

(menu-bar-options-menu): Move `mouse-set-fonts' here from Options/Mule submenu.
author Kai Großjohann <kgrossjo@eu.uu.net>
date Fri, 27 Jun 2003 20:19:21 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff