mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-18 13:40:19 +00:00
e179b03065
I somehow managed to submit the wrong file at 313d4c0dc81c. Thanks again Enrico for noticing.