]> git.lyx.org Git - features.git/commit
configure.py: partly revert previous commit
authorUwe Stöhr <uwestoehr@lyx.org>
Sun, 31 May 2015 01:03:29 +0000 (03:03 +0200)
committerUwe Stöhr <uwestoehr@lyx.org>
Sun, 31 May 2015 01:03:29 +0000 (03:03 +0200)
commit8d6c608de83ccc9c12a3747d4af19dea3d76dbb1
tree646f85b7d17f447e81fb07502ccb05d2a4048f5d
parent5b9fef895cf73c1e77845ad0d168565392449891
configure.py: partly revert previous commit

This should not have gone in.
lib/configure.py