diff lispref/gpl.texi @ 70699:434948c350d2

(better_font_p): Any font beats no font. (best_matching_font): Simplify based on above change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 17 May 2006 22:51:07 +0000
parents e055d02d8b97
children ed43fcb24d07 f9a65d7ebd29
line wrap: on
line diff