mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-25 10:58:52 +00:00
4db3bd4e0a
This was introduced by d56980da95
. Thanks Günter for noticing.
472 KiB
472 KiB