mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-14 12:25:11 +00:00
7f0b0e3347
(cherry picked from commit 95c665e607b05ec815bc6ee79621cda84029f43f)