thies eb23ab03d3 final repo		2023-03-29 17:24:23 +02:00
..
contributing	rm emails	2023-03-07 17:10:52 +01:00
final_report	final repo	2023-03-29 17:24:23 +02:00
usage	„doc/usage/user_manual.md“ ändern	2023-03-01 16:41:38 +01:00
workshops	update licensing	2023-01-23 21:14:43 +01:00