Vinzenz Schroeter d4716c4bc6 build variations in CI to keep track of what works		2025-05-04 13:17:06 +02:00
..
src	a bunch of options for the Makefile	2025-05-04 13:17:06 +02:00
Makefile	build variations in CI to keep track of what works	2025-05-04 13:17:06 +02:00