some renaming

This commit is contained in:
2018-10-21 00:14:14 +02:00
parent 9f9088a110
commit 458c75c5e4
2 changed files with 5 additions and 7 deletions