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