Re: [dev] [st] problem with fonts in git development version

From: Bryan Bennett <>
Date: Sat, 11 Jan 2014 14:01:30 -0500

On Sat, Jan 11, 2014 at 12:59 PM, Carlos Pita <> wrote:
> I would like to know whether this is a temporary buggy behavior or
> it's expected and there is something else I must know that I'm missing
> now in order to properly configure the git version.

I just built HEAD here and it worked fine with both PragmataPro
and DejaVu Sans Mono.

Received on Sat Jan 11 2014 - 20:01:30 CET

This archive was generated by hypermail 2.3.0 : Sat Jan 11 2014 - 20:12:07 CET