mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-14 12:25:11 +00:00
88404dbfae
- also suppress an unnecessary message
- also suppress an unnecessary message