Missing a font

[Ralf Mardorf]

On Thu, 23 Apr 2015 12:09:55 +0200, Petter Adsen wrote:
>On Tue, 21 Apr 2015 10:13:08 +0200 Ralf Mardorf wrote:  
>> I prefer usage of /usr/local, because it's easier for me to stay on
>> top of things  
>Installing local modifications in /usr/local has it's advantages.  

I only wanted to point out that it's not risky to install in /usr/
instead of /usr/local/. However you are absolutely right, /usr/local/
has it's advantages and that's why I use it a lot.

Regards,
Ralf