mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
b4294a7b06
The concept is correct, but it seems a bit too disruptive. This reverts commit c19c54dd5b85726df1b5187616d17d5430028c16.