Merge pull request 'fix formatting' (#42) from auto-formatting into main

Reviewed-on: #42
This commit is contained in:
2024-11-15 10:55:26 +01:00
29 changed files with 46 additions and 46 deletions