diff TOOLS/checktree.sh @ 26592:cc9b88c49d90

Only warn if both font family and its full name are different from requested.
author eugeni
date Thu, 01 May 2008 00:34:29 +0000
parents e60a367eb80e
children abd0a4e9daa0
line wrap: on
line diff