diff make-dist @ 17505:c2640d101ca9

(facemenu-update): Don't make global bindings here. Make them at top level. (facemenu-key): Variable deleted. (facemenu-keybindings, facemenu-new-faces-at-end) (facemenu-unlisted-faces, facemenu-remove-face-function): Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Fri, 18 Apr 1997 02:53:46 +0000
parents 55e7f9ff6456
children 892cc20c7d91
line wrap: on
line diff