On Mon, Jun 15, 2020 at 01:48:50PM +0200, Thibaut Cuvelier wrote: > The goal being to completely overhaul that export (i.e. rewrite it), I > don't know if it's helpful to ensure it still works with this patch :/.
No it's not. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel