mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-23 21:40:19 +00:00
186597b546
All that's changed here is just the file size due to some file optimization. Fixes: #10626
34 KiB
34 KiB