small improvement

This commit is contained in:
Tobias Brunner 2020-05-27 21:37:04 +02:00
parent b204248d88
commit 4998aec150
1 changed files with 9 additions and 9 deletions