On Thu, Feb 08, 2024 at 10:35:42AM +0100, Pavel Sanda wrote:
On Wed, Jan 31, 2024 at 01:27:04PM +0100, Enrico Forestieri wrote:It is a mess and while adjusting a thing some other thing was breaking. I don't plan to look further into it if simply shipping a patched getopt.py on windows solves the problem ;)Enrico, can you commit this so we have testing for RC3?
Done at fe99f7b0. -- Enrico -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
