mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-17 21:36:00 +00:00
848c424588
This reverts commit 2a10603c875c7936b006ac8e2bd4eb52a5ad2334.