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
signature.asc
Description: This is a digitally signed message part
-- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
