On Fri, Sep 01, 2023 at 10:14:33PM +0200, Jean-Marc Lasgouttes wrote: > Not me, but I am not sure why you needed it.
3 pages of useless scrolling at https://www.lyx.org/trac/wiki/BugTrackerHome Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
