better naming #182

Merged
muellerr merged 1 commits from naming-improvement into main 2025-10-31 16:03:41 +01:00

1 Commits

Author SHA1 Message Date
Robin Mueller c57ee3e131 better naming 2025-10-31 16:03:08 +01:00