On Thu, Sep 12, 2024 at 11:32:55AM +0200, Daniel wrote: > Are there any alternatives in the pipe?
Not really, but I can improve the description to be more straightforward. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
