mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-23 02:14:50 +00:00
4db3bd4e0a
This was introduced by d56980da95
. Thanks Günter for noticing.
472 KiB
472 KiB