]> git.lyx.org Git - lyx.git/commit
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)
commitc3e0ae4bfdf7e718f0048cf73df9ca3002cd65a6
treefb0e80be167ee63ac56ceccbeb186c3fcff8b7f4
parent07c2440a2bb675308ea32c441642ca8691c0f607
parentf31bf0df1dec6e815fe28872b1cfeaf608e4ffb0
Merge branch 'master' of git.lyx.org:lyx