Torbjørn Lindahl 5b7f69cca2 better names

2026-01-23 00:00:36 +01:00

..

§7-9.md

better names

2026-01-23 00:00:36 +01:00

§7-10.md

better names

2026-01-23 00:00:36 +01:00

§7-11.md

better names

2026-01-23 00:00:36 +01:00