]>
| 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 |