]> git.lyx.org Git - features.git/commit
Amend [d30da478d/lyxgit]
authorJuergen Spitzmueller <spitz@lyx.org>
Thu, 22 Aug 2019 15:35:56 +0000 (17:35 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Thu, 22 Aug 2019 15:35:56 +0000 (17:35 +0200)
commit2479534e5769034ac1ed835ba98f4a9bfac03fe6
treefd4b3b35a35c42ceb039e2ea77677cabc5fc2500
parentd30da478d4f8ca861ee36ff77f6cc10c6f7bfd2b
Amend [d30da478d/lyxgit]

Some non-stable code was erroneously cherry-picked.

Fixes: #11642
lib/configure.py
status.23x