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