mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-17 13:26:58 +00:00
423ddb1199
This reverts commit 313d9fa4d056ed213607500076c1bd391a563b6d. (the initial reversion was done unintentionally)