jr-k cd117e66f6 minor fixes		2024-07-03 19:31:34 +02:00
..
contents	merge	2024-07-02 10:21:09 +02:00
slides	minor fixes	2024-07-03 19:31:34 +02:00