better naming #182

Merged
muellerr merged 1 commits from naming-improvement into main 2025-10-31 16:03:41 +01:00
Owner
No description provided.
muellerr added 1 commit 2025-10-31 16:03:38 +01:00
muellerr merged commit 0b46fa785b into main 2025-10-31 16:03:41 +01:00
muellerr deleted branch naming-improvement 2025-10-31 16:03:41 +01:00
Sign in to join this conversation.