]> git.lyx.org Git - features.git/commit
Merge branch 'master' of git.lyx.org:lyx
authorJuergen Spitzmueller <spitz@lyx.org>
Tue, 24 Dec 2019 17:09:34 +0000 (18:09 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Tue, 24 Dec 2019 17:09:34 +0000 (18:09 +0100)
commitbab184e49e4420ad5277eacd45f2447727f55bbd
tree9c117272ba6e72468bc90713837d5dcdae30ddbd
parenta08cbf41cf2b3087029c19db49dfca5aa01a4b2d
parentfc46e450c1720c3ca782c6675fa259f0ecf9fa6f
Merge branch 'master' of git.lyx.org:lyx