mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-16 21:10:26 +00:00
854fbc5262
The need for this variable is too rare to deserve being exposed in UI. This reverts commit a3fd3a09f1aa0b6003fc3cf033e970bb7547a983.