fixing PR comments (#991)

* cleanings, factorisation, indentation.
This commit is contained in:
gullradriel 2023-05-15 10:50:21 +02:00 committed by GitHub
parent 22430fb8d4
commit 1a829707f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 1580 additions and 1631 deletions

File diff suppressed because it is too large Load diff