diff man/misc.texi @ 33070:ca31e3965686

(resolve_face_name): Handle case that FACE_NAME is not a symbol or string.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 30 Oct 2000 15:36:11 +0000
parents 6fcf803fe8c5
children fe183c1fbf56
line wrap: on
line diff