jr-k d1c1808087 add content wip		2024-07-10 21:07:58 +02:00
..
contents	add content wip	2024-07-10 21:07:58 +02:00
slides	minor fixes	2024-07-03 19:31:34 +02:00