mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
348297520f
This reverts commit c6937cece975ddfbe6b30f1cc85f3aa891d07dad.