mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-13 11:52:45 +00:00
6137ff13d8
This reverts commit 04bf4675499da3bfd87f1aa1f4d50217780b31b8.