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) |
tools/make/configure | patch | blob | history | |
tools/make/mconfigure | patch | blob | history |