some renaming

This commit is contained in:
Ralf Teusner
2016-08-29 13:00:12 +02:00
parent 8abc0bb15a
commit 21699952ff
3 changed files with 1 additions and 1 deletions