mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-27 10:37:53 +00:00
UserGuide.lyx: port recent changes from branch
This commit is contained in:
parent
76c96c22ac
commit
80fe665406
Loading…
x
Reference in New Issue
Block a user