improvement for naming #135

Merged
muellerr merged 1 commits from naming-improvement into main 2025-08-26 16:22:20 +02:00
Owner
No description provided.
muellerr added 1 commit 2025-08-26 16:22:11 +02:00
muellerr added this to the v0.16.0 milestone 2025-08-26 16:22:14 +02:00
muellerr merged commit b8ae26c302 into main 2025-08-26 16:22:20 +02:00
muellerr deleted branch naming-improvement 2025-08-26 16:22:20 +02:00
Sign in to join this conversation.