author | Michael Wagner <info@wagnertech.de> | |
Mon, 7 Mar 2016 16:03:44 +0000 (17:03 +0100) | ||
committer | Michael Wagner <info@wagnertech.de> | |
Mon, 7 Mar 2016 16:03:44 +0000 (17:03 +0100) | ||
commit | 6bfe735d12cd6a72483c7999a09dc8c11044c562 | |
tree | 189b3edabaad828b1927141fc716a138b7dfff79 | tree | snapshot |
parent | e462106709367a4d115fc40acafb799c2abbb8ab | commit | diff |
tools/make/configure | diff | blob | history |