Am Tue, 15 Dec 2020 11:17:07 +0100 schrieb Jürgen Spitzmüller <sp...@lyx.org>:
> Am Di., 15. Dez. 2020 um 10:35 Uhr schrieb Kornel Benko <kor...@lyx.org>:
>
> > Maybe I am too picky. For our use both versions give the same result.
> >
>
> I was serious. You seem to understand this better than I do, so I welcome
> any improvement!
>
> Jürgen
OK, done at 6a37a67b.
Kornel
pgp7Z2DDInoRi.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
