author | Michael Wagner <michael@wagnertech.de> | |
Fri, 22 Mar 2019 23:06:33 +0000 (00:06 +0100) | ||
committer | Michael Wagner <michael@wagnertech.de> | |
Fri, 22 Mar 2019 23:06:33 +0000 (00:06 +0100) | ||
commit | cd4acff547d8ae0be943a0ac7c34ff55ba0ba51a | |
tree | e7c567d780808f394204149d11b2953784ddc97c | tree | snapshot |
parent | e7459ec4098d3ad1344ad6061a9973a14bdf27dc | commit | diff |
tools/make/mconfigure | diff | blob | history |