diff configure.in @ 60826:1ab099658b40

(showhide-date-time): Remove. (menu-bar-showhide-menu): Use menu-bar-make-mm-toggle. (menu-bar-make-mm-toggle): Simplify.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 22 Mar 2005 19:44:30 +0000
parents 25e9a2bb0d17
children ee35f03204fe c22274b1aa9b 30ad2795fdab
line wrap: on
line diff