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