mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-16 21:10:26 +00:00
f009138f9c
An unrelated change slipped in. This reverts commit 3b642cd0edee1d8e954a3e8ef568d13fd15ab3b4.