mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-22 10:00:33 +00:00
Some cosmetics in preparation of major revisions
This commit is contained in:
parent
1252c22fd3
commit
3d636c2a33