author | Michael Wagner <michael@wagnertech.de> | |
Wed, 18 Jul 2018 10:32:18 +0000 (12:32 +0200) | ||
committer | Michael Wagner <michael@wagnertech.de> | |
Wed, 18 Jul 2018 10:32:18 +0000 (12:32 +0200) | ||
commit | c51f05f2ea0ed6b31351b58ebebbf8430749e288 | |
tree | e4e064bff878f83161da8c36cd1ed0b4e65c78b2 | tree | snapshot |
parent | 2db0d888c5eefc4a7d7dfd7bc367db3e2679f3a4 | commit | diff |
tools/make/mconfigure | diff | blob | history |