Vinzenz Schroeter c8674dc338 build all variations in CI to keep track of what works		2025-05-04 12:25:07 +02:00
..
src	a bunch of options for the Makefile	2025-05-04 12:25:07 +02:00
Makefile	build all variations in CI to keep track of what works	2025-05-04 12:25:07 +02:00