some renames

This commit is contained in:
Wolfgang Hottgenroth 2019-11-24 15:44:24 +01:00
parent 4bca94d365
commit 76f7958bed

File diff suppressed because one or more lines are too long