comparison configure.in @ 20443:76ea51acad22

(facemenu-remove-face-props): Renamed from facemenu-remove-props. Remove only face and mouse-face. (facemenu-menu): Update menu item for facemenu-remove-face-props.
author Karl Heuer <kwzh@gnu.org>
date Tue, 09 Dec 1997 21:34:50 +0000
parents a63d7b065e0e
children 9c811b2d0836
comparison
equal deleted inserted replaced
20442:da84d48fd13b 20443:76ea51acad22