]> git.lyx.org Git - lyx.git/commit
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)
commitf83c5eab77f4f2c57ff8d05496468f5f1e9007b3
treec7a73dd4f73fb3b0b9ef32910d8c8947501b2bd5
parent317091c5000755a670a4a25cf167aa90d3beceb4
parentb9cc642856d79edb07cbd4067bbc10e5be9b2a36
Merge branch 'master' of git.lyx.org:lyx