]> git.lyx.org Git - features.git/commit
Simplify code a bit.
authorRichard Heck <rgheck@lyx.org>
Sat, 3 Mar 2018 04:12:11 +0000 (23:12 -0500)
committerRichard Heck <rgheck@lyx.org>
Sat, 17 Mar 2018 19:44:05 +0000 (15:44 -0400)
commit9deedd5c1833f66ae8b1481b323edd5a892db3f5
tree7f8f20695771c8eef71f11d97c0c9b05728eb0ec
parent96ec4d645bd3c24f4a08d59ac6bd4f9b9264a234
Simplify code a bit.
lib/configure.py