mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-22 10:00:33 +00:00
Additional.lyx: further fixes #7 (last one)
This commit is contained in:
parent
b66a6dba43
commit
7eafea43e3