author | Michael Wagner <info@wagnertech.de> | |
Tue, 30 Jan 2018 12:01:24 +0000 (13:01 +0100) | ||
committer | Michael Wagner <info@wagnertech.de> | |
Tue, 30 Jan 2018 12:01:24 +0000 (13:01 +0100) | ||
commit | 58313e9db1554fa9e5f2a2476c4f28b282b347ed | |
tree | 9dc928823ca7130da60d7ec33910ea21f668aadd | tree | snapshot |
parent | b06ba9c16c47f86ad2c255455abf509257dac9cb | commit | diff |
tools/make/configure | diff | blob | history |