Selecting system fonts depending on some features

[Jürgen Spitzmüller]

Am Samstag, den 02.05.2020, 13:13 +0200 schrieb Jürgen Spitzmüller:
> Am Samstag, den 02.05.2020, 11:47 +0200 schrieb Kornel Benko:
> > Is that an OK to commit?
> 
> No objections from me.

However, I think development/tools is more appropriate than lib/scripts
(the former has scripts for development purpose)

Jürgen

> 
> Jürgen
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: This is a digitally signed message part
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20200502/4a9f8c69/attachment.asc>