[Top][All Lists]

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

Re: Alternative music font

From: Neil Puttock
Subject: Re: Alternative music font
Date: Sun, 1 Nov 2009 22:24:57 +0000

2009/11/1 Patrick McCarty <address@hidden>:
> On 2009-11-01, Neil Puttock wrote:

> This is what I saw before reversing the settings (my latest commit),
> and now everything loads fine for me.

Same here, but I can't see why you need to set font-defaults twice;
surely the first setting is ignored?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]