Getting rid of proprietary fonts

Sun Jan 22 22:45:28 IST 2012

Isn't the settings dialogue for font replacement is for? I am not in front
of it now, but I remember there is a font substitution setting somewhere...

Amichai.
 On Jan 22, 2012 5:35 PM, "Nadav Har&apos;El" <nyh at math.technion.ac.il>
wrote:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.huji.ac.il/pipermail/linux-il/attachments/20120122/e5d875cc/attachment-0001.html>