]> git.lyx.org Git - lyx.git/commitdiff
projects / lyx.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 07c2440 f31bf0d)
Merge branch 'master' of git.lyx.org:lyx
authorJuergen Spitzmueller <spitz@lyx.org>
Fri, 21 Jul 2023 07:09:30 +0000 (09:09 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Fri, 21 Jul 2023 07:09:30 +0000 (09:09 +0200)

Trivial merge
The LyX Source Repository