mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-24 17:09:41 +00:00
fe99f7b01e
Seemingly, the elements of argv on Windows are a different type with respect to Linux. A patched version of getopt.py has to be used on Windows in order to match variable types.