mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-15 15:45:43 +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
)
46 KiB
46 KiB