mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 07:03:32 +00:00
7eb64211b0
Pushed by mistake ... not finished yet ... apologies. This reverts commit be79d2cda8a80787e0ac054cd32d672a1c0243b1.