mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-13 20:09:59 +00:00
017588973f
This reverts commit 42c2a25fb873727d87ce753b3a3ac4e913e36fe0.