mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-26 22:17:41 +00:00
4db3bd4e0a
This was introduced by d56980da95
. Thanks Günter for noticing.
472 KiB
472 KiB