mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-17 05:15:29 +00:00
e4ab91d802
This will be replaced by a different version. This reverts commit 99e636ae7b83dacb5acc96ae3b60a96c28339c0e.