Lines Matching refs:wlog
2254 \wlog{doing @fonttextsize \textsizearg}%8430 \wlog{\space\space defining Unicode char U+#1 (decimal \the\countUTFz)}%
