Merge pull request #981 from asuessenbach/cleanup

Minor cleanup work.
This commit is contained in:
Andreas Süßenbach
2021-06-07 15:18:58 +02:00
committed by GitHub
3 changed files with 302 additions and 326 deletions

File diff suppressed because it is too large Load Diff