On Thu, Jan 25, 2024 at 12:40:07PM -0500, Richard Kimberly Heck wrote:
That does make me wonder whether there are other versions of this problem. Are there other cases where we generate files in this way?
I think we will discover that very quickly ;) -- Enrico -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel