1Fermer3
ZerosquareLe 28/01/2020 à 18:03
Y'a peut-être des options de compilation particulières pour réduire la taille ?

Sinon, solution du fainéant : si la nouvelle police est de la même taille que l'ancienne (ou plus petite), patcher le binaire directement tongue