]> git.lyx.org Git - features.git/commit
Merge branch 'master' of git.lyx.org:lyx
authorJuergen Spitzmueller <spitz@lyx.org>
Thu, 27 Jul 2017 16:30:10 +0000 (18:30 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Thu, 27 Jul 2017 16:30:10 +0000 (18:30 +0200)
commit5eaee6b51ef95873457059d37ab1cfa48f4f22a0
tree06e26e4fbaa72cda1d9ef6154942dcfdff289ef5
parentebca8ceb3a46cec514600f98223916ea4f7899c9
parent4b216342b78f0f6580052d9932aac92d1172874c
Merge branch 'master' of git.lyx.org:lyx