author | Michael Wagner <michael@wagnertech.de> | |
Tue, 6 Mar 2018 21:01:36 +0000 (22:01 +0100) | ||
committer | Michael Wagner <michael@wagnertech.de> | |
Tue, 6 Mar 2018 21:01:36 +0000 (22:01 +0100) | ||
commit | 3f3c6abff0b443de6634f3fd7dea9c8bf5399f19 | |
tree | 3bca331b5c20d477cf1562f05eef4f08576b6844 | tree | snapshot |
parent | c5b94969086dca212584d755f6a1371032a7492b | commit | diff |
parent | 58313e9db1554fa9e5f2a2476c4f28b282b347ed | commit | diff |
tools/make/configure | diff1 | | diff2 | | blob | history |