Retourner au contenu associé (lien : Suite du journal de Pinaraf "PDF, mais que fait la police" : merge réalisé dans fontconfig !)
Posté par antistress (site web personnel) le 15 janvier 2022 à 23:46. En réponse au lien Suite du journal de Pinaraf "PDF, mais que fait la police" : merge réalisé dans fontconfig !. Évalué à 8. Dernière modification le 15 janvier 2022 à 23:47.
Bravo et merci à Pinaraf pour l'enquête du bug constaté (cf le journal initial) et le remède (cf ce lien) :)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# bravo et merci
Posté par antistress (site web personnel) . En réponse au lien Suite du journal de Pinaraf "PDF, mais que fait la police" : merge réalisé dans fontconfig !. Évalué à 8. Dernière modification le 15 janvier 2022 à 23:47.
Bravo et merci à Pinaraf pour l'enquête du bug constaté (cf le journal initial) et le remède (cf ce lien) :)