Am Donnerstag, dem 17.08.2023 um 20:51 +0200 schrieb Jean-Marc Lasgouttes: > +1
Thanks, done. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
Am Donnerstag, dem 17.08.2023 um 20:51 +0200 schrieb Jean-Marc Lasgouttes: > +1
Thanks, done. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel