mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-09-19 22:40:26 +00:00
Update from Giovanni
This commit is contained in:
parent
e9c120a4c3
commit
c7d93904b2