]>
author | Günter Milde <milde@lyx.org> | |
Wed, 11 Jan 2017 09:42:32 +0000 (10:42 +0100) | ||
committer | Günter Milde <milde@lyx.org> | |
Wed, 11 Jan 2017 09:43:38 +0000 (10:43 +0100) | ||
commit | 1b752275b00498c546334205227b65ed70119ae3 | |
tree | 98971be4fa94e7ae74031a0fd17ba0b9fbe57d87 | tree | snapshot |
parent | 931542d758caf8de718c917ba641c81c6fb76ab1 | commit | diff |
lib/configure.py | diff | blob | history |