comparison make-dist @ 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
comparison
equal deleted inserted replaced
51681:0a1f20d3fa89 51682:f4620c9305c7