author | Michael Wagner <info@wagnertech.de> | |
Fri, 8 Jul 2016 07:19:57 +0000 (09:19 +0200) | ||
committer | Michael Wagner <info@wagnertech.de> | |
Fri, 8 Jul 2016 07:19:57 +0000 (09:19 +0200) | ||
commit | 4cfb387892f85b158a240b4a81dab9795ac431a6 | |
tree | e50830cb63cb8956be75908ed2df70721dab22d7 | tree | snapshot |
parent | 7f51ac61113edf0e868cdeb4a73a159c6cb775e0 | commit | diff |
tools/make/configure | diff | blob | history |