jr-k 3ed0d5cc90 wip		2024-07-09 14:39:21 +02:00
..
contents	wip	2024-07-09 14:39:21 +02:00
slides	minor fixes	2024-07-03 19:31:34 +02:00