mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
dd61d8cf3f
This reverts commit fdcff02a3124845d1033d3d804cede127850ff0f. This was pushed too early, we are not ready yet.