On Thu, Jan 16, 2020 at 05:26:50PM +0100, Marc Espie wrote: > This font was designed for development, apparently, as part of an IDE, > and they decided to open up the font (Apache 2.0) > > I played with it a bit and it is indeed pleasant. > > Fairly straightforward.
Why putting DISTNAME in such a weird place? -- Antoine