Am Sonntag, 23. September 2018 12:29:20 CEST schrieb Jürgen Spitzmüller
:
> Am Samstag, den 22.09.2018, 17:33 +0200 schrieb Kornel Benko:
> > The attached is my patch so far. Please proceed/reject as you like.
>
> Done! The result is now in master: chessboard.module.
>
> Jürgen
I confess that t
On 22/09/2018 19:25, Daniel wrote:
On 21/09/2018 22:54, Daniel wrote:
Hi,
When I typeset a PDF with the default font settings (under Windows
10), the output text is rasterized (source and output files attached).
I haven't used the default font settings for a while, so maybe this is
normal?