]> git.lyx.org Git - features.git/commit
Merge branch 'master' of git.lyx.org:lyx
authorJuergen Spitzmueller <spitz@lyx.org>
Sun, 23 Apr 2023 12:49:44 +0000 (14:49 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Sun, 23 Apr 2023 12:49:44 +0000 (14:49 +0200)
commitcb17dbf68db47435a38914df1028dba4ed32884f
treed6bface192531f1be687b4409c909c773cb8e7d4
parent4f83a99604378d019fbe56585127a5424789a4bf
parenta156606701ec1e67615151b0e36e47c25d4b78f5
Merge branch 'master' of git.lyx.org:lyx