some minor tweaks

This commit is contained in:
2022-09-13 19:18:24 +02:00
parent c0bb89c752
commit 01eec041b5
6 changed files with 72 additions and 9 deletions