Vantha ab4a9d6def Rename tutorial "goals" to "steps" ... While it's currently the case everywhere, tutorial "steps" don't necessarily have to be goals, they could be stuff like tips or info too in general, if different types of "steps" are added in the future.		2026-07-22 23:51:49 +02:00
..
data	Rename tutorial "goals" to "steps"	2026-07-22 23:51:49 +02:00
logs	Update trac links with gitea links	2024-12-10 11:29:48 +01:00
system	Start the serializationtest at a specivic turn	2026-05-10 14:18:48 +02:00