Selecting system fonts depending on some features

[Kornel Benko]

Am Sat, 02 May 2020 13:22:39 +0200
schrieb Jürgen Spitzmüller <spitz at lyx.org>:

> 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  

Sorry, too late for this mail. Already pushed. Should I move?

	Kornel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 488 bytes
Desc: Digitale Signatur von OpenPGP
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20200502/7cce5c02/attachment.asc>