change some namings

This commit is contained in:
Pim Kunis 2023-01-07 20:40:23 +01:00
parent cd17ed372c
commit 05eed296b8
14 changed files with 14 additions and 14 deletions