]> git.lyx.org Git - features.git/commit
Revert "configure.py: fix bug #11053"
authorUwe Stöhr <uwestoehr@lyx.org>
Fri, 2 Mar 2018 19:13:22 +0000 (20:13 +0100)
committerUwe Stöhr <uwestoehr@lyx.org>
Fri, 2 Mar 2018 19:13:22 +0000 (20:13 +0100)
commit0dee0920e0cd29899ebc436474a76608daee268f
treebc54e4f3f8bbd9fddf381647a620b9f0c977584a
parent151ee98e3b886bc95fc072c7401270658f0bff6e
Revert "configure.py: fix bug #11053"

This reverts commit 151ee98e3b886bc95fc072c7401270658f0bff6e.
lib/configure.py