adds some minor (mostly cosmetic) fixes

This commit is contained in:
2024-07-05 12:20:07 +02:00
parent 8abf623c63
commit 722b015f82
9 changed files with 15 additions and 42 deletions