author | Michael Wagner <michael@wagnertech.de> | |
Thu, 7 Sep 2017 12:48:14 +0000 (14:48 +0200) | ||
committer | Michael Wagner <michael@wagnertech.de> | |
Thu, 7 Sep 2017 12:48:14 +0000 (14:48 +0200) | ||
commit | b06ba9c16c47f86ad2c255455abf509257dac9cb | |
tree | 9a80cb2fe8d6b56e223718133300cc1c71c16a29 | tree | snapshot |
parent | 9f900ca37096790daab2fd817144badd826c2708 | commit | diff |
tools/make/configure | diff | blob | history |