mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-20 23:00:29 +00:00
d52bb81671
also some minor adjustment to some files like date and version