Minor cleanup

This commit is contained in:
Griatch 2019-05-18 13:20:45 +02:00
parent ed187ad05f
commit d242537d80
2 changed files with 2 additions and 2 deletions