diff man/mini.texi @ 71568:8d6af1c1c365

* facemenu.el (facemenu-listed-faces): New var. (facemenu-unlisted-faces): Variable deleted. (facemenu-add-new-face): Use facemenu-listed-faces.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 03 Jul 2006 14:31:35 +0000
parents 37c66dd77b79
children bf3a186a50a6 138ce2701550
line wrap: on
line diff