On Mon, Sep 16, 2024 at 11:21:52AM +0200, Daniel wrote: > On 2024-09-13 10:44, Pavel Sanda wrote: > > 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 > > > Thanks. What does "lyx-devel@???" stand for? lyx-de...@lyx.org? > lyx-devel@lists.lyx.org? I don't find it obvious from the description.
My browser shows lyx-devel@lists.lyx.org. I put it in the same sentence so it's more clear we are talking about the mailling list). Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
