ACCUEIL TIPS | CONTENTS | INDEX | PREV | NEXT

Fixfonts

   Fixfonts est un petit utilitaire (livré  avec  le  système  d'exploi-
   tation)  qui  met  de  l'ordre  dans  votre répertoire fonts:. Il est
   conseillé de l'exécuter à chaque fois que vous ajoutez  ou  que  vous
   effacez des polices de caractères.