[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: gérer les polices



> Bon alors, j'ai eu le même problème ... Le truc c'est que le port du
> font server est plus 7100 mais 7110. Normalement, ça marche.
>
> KUHN Jérémy
	J'hallucine de m'être pris la tête pendant 3 jours pour ça mais :
1000 mercis ! :-)

JR



Reply to: