]> git.lyx.org Git - features.git/commit
Merge branch 'master' of git.lyx.org:lyx
authorJuergen Spitzmueller <spitz@lyx.org>
Tue, 26 Mar 2019 09:08:42 +0000 (10:08 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Tue, 26 Mar 2019 09:08:42 +0000 (10:08 +0100)
commit2871b484a1730c528f902494e33ab7d9e35bcbfd
tree4fa19f6fc56121a75ff31e5e118f3786d4b5deee
parentfd28958db04f162beeb2addabe496eaf6a04e98b
parentc5fa5232bb12b2eada8bed1b4a31a24a89d5eaa0
Merge branch 'master' of git.lyx.org:lyx