mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
d7ba7bceb3
This reverts commit fafe3ea5d7be1c06fb734e3bc621c551d617a6f7.