mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-25 10:58:52 +00:00
de/Additional: finish revision
This commit is contained in:
parent
7eafea43e3
commit
729af37dfe