author | Michael Wagner <mail@wagnertech.de> | |
Sat, 9 Dec 2017 21:05:06 +0000 (22:05 +0100) | ||
committer | Michael Wagner <mail@wagnertech.de> | |
Sat, 9 Dec 2017 21:05:06 +0000 (22:05 +0100) | ||
commit | 8f88293f5eed6ecaa48b7bd81c2e7d96369a109b | |
tree | 052f268f3158f49c53433995adaa07b68ee7d44b | tree | snapshot |
parent | 1b1a4b951283d256d63b61c3a1e2018d6cf5d46f | commit | diff |
tools/make/configure | diff | blob | history |