mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-22 01:59:02 +00:00
Amend d7d4f65b
Thanks Richard
This commit is contained in:
parent
e3540f33e1
commit
c47bfee231