update trait names #247

Merged
muellerr merged 1 commits from update-trait-names into main 2025-09-06 19:31:46 +02:00
Owner
No description provided.
muellerr added 1 commit 2025-09-06 19:31:42 +02:00
muellerr merged commit 2e53ce1871 into main 2025-09-06 19:31:46 +02:00
muellerr deleted branch update-trait-names 2025-09-06 19:31:47 +02:00
Sign in to join this conversation.
No description provided.