projects / projects.git / commit
| author | Michael J.M. Wagner <michael@wagnertech.de> | |
| Mon, 17 Oct 2022 19:03:30 +0000 (21:03 +0200) | ||
| committer | Michael J.M. Wagner <michael@wagnertech.de> | |
| Mon, 17 Oct 2022 19:03:30 +0000 (21:03 +0200) | ||
| commit | cb90cf5532bd7921186006be739248887233ed4d | |
| tree | 576a7f383bded67eed3e89aeed814cf7d1bfa07c | tree | snapshot |
| parent | 821fa83fccab0589fb06f6c111768dfcb78bf4f7 | commit | diff |
| tools/make/configure | diff | blob | history | |
| tools/make/mconfigure | diff | blob | history |