mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-23 08:44:01 +00:00
adefdf8eeb
This reverts commit 7c041af6425001d7779f5e44d72918d8591ea37d. We will hold this back until we fix the issue discussed here: https://marc.info/?l=lyx-devel&m=171733833610242&w=2