mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-28 23:15:19 +00:00
4eab21b2bc
All that's changed here is just the file size due to some file optimization.
Fixes: #10626
(cherry picked from commit 186597b546
)
34 KiB
34 KiB