comparison GETTING.GNU.SOFTWARE @ 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 87bd6540514f
children 6fcc2c9a1857
comparison
equal deleted inserted replaced
20442:da84d48fd13b 20443:76ea51acad22