minor geenral updates

This commit is contained in:
Moritz Gmeiner 2023-09-01 16:16:26 +02:00
commit 7f964496e6
3 changed files with 5 additions and 5 deletions