mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-27 02:19:10 +00:00
5969f0e7d1
Patch from Thibaut Cuvelier, modified slightly by me (mostly for style). (cherry picked from commit c506f304bc522ea91ad5a7e97cd4e3c7d54376b0)