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