mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-15 12:41:32 +00:00
ff1ab048f1
Something is fishy, it breaks compilation. This reverts commit cbc9a901afd1783a30b4d76663208b0c13530a30.