mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-24 17:09:41 +00:00
181ecc51a7
This does not change the default behavior, but allows to customize it. (cherry picked from commit db1270765573eafc453fe903fcfb6f9ba91f9f31)