Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Vinzenz Schroeter 125f4158f9 build variations in CI to keep track of what works		2025-05-04 13:07:54 +02:00
..
src	a bunch of options for the Makefile	2025-05-04 13:07:54 +02:00
Makefile	build variations in CI to keep track of what works	2025-05-04 13:07:54 +02:00