Am Sat, 02 May 2020 13:22:39 +0200 schrieb Jürgen Spitzmüller <[email protected]>:
> 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
pgpesYNTyR9YF.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
