Re: Fontes Noto
Català
Dansk
Deutsch
Ελληνικά
English
Español
suomi
Français
Galego
magyar
Italiano
日本語
Nederlands
Polski
Português
Português Brasileiro
Ce message fait partie du fil suivant :
Arborescence complète du fil triée par date
Christian Marillat à
2022-07-16 07:30
Christian Marillat à
2022-07-16 14:58
Auteur:
Frédéric
Date:
2022-07-16 07:43
UTC
À:
Guilde
Sujet:
Re: Fontes Noto
Le samedi 16 juillet 2022, Christian a écrit :
> Il y a aussi la possibilité d'utiliser la configuration de fontconfig
> pour déactiver des polices. Sans doute le plus simple.
Ah, oui, c'est une solution plus propre !
Merci.
-- Frédéric