]> git.lyx.org Git - lyx.git/commitdiff
projects / lyx.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 317091c b9cc642)
Merge branch 'master' of git.lyx.org:lyx
authorJuergen Spitzmueller <spitz@lyx.org>
Mon, 15 Jul 2019 16:23:04 +0000 (18:23 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Mon, 15 Jul 2019 16:23:04 +0000 (18:23 +0200)

Trivial merge
The LyX Source Repository