Minor cleanup

This commit is contained in:
Simone Mainardi 2020-09-03 19:37:41 +02:00
parent 1d4930fc13
commit ae5adcd2ae
2 changed files with 2 additions and 35 deletions