3 Commits

Author	SHA1	Message	Date
Christian	4445e63329	Use os-lib, Add command to run all problems	2024-12-05 16:09:58 +01:00
Christian	57e87aeba7	Drop parallel	2024-12-05 07:48:57 +01:00
Christian	0035ca6248	Bye bye sbt	2024-12-02 13:48:37 +01:00