improvement for naming #135

Merged
muellerr merged 1 commits from naming-improvement into main 2025-08-26 16:22:20 +02:00

1 Commits

Author SHA1 Message Date
muellerr 160b1dedf9 improvement for naming 2025-08-26 16:16:54 +02:00