comparison admin/revdiff @ 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 a8b22f12b3dc
children b2e5081b9320 72dea2ff0142
comparison
equal deleted inserted replaced
70698:102448f41c25 70699:434948c350d2