minor style tweaks

This commit is contained in:
Felix Roos 2022-05-30 23:34:56 +02:00
parent 5c6c5c9608
commit 92dc50e348
4 changed files with 13 additions and 9 deletions

File diff suppressed because one or more lines are too long