mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-13 20:09:59 +00:00
e8d8f0abf8
I did not plan to push this This reverts commit 0bd6cc30bc30d3ae4315709c23b8aeb4bdccaf74.