update trait names #247

Merged
muellerr merged 1 commits from update-trait-names into main 2025-09-06 19:31:46 +02:00

1 Commits

Author SHA1 Message Date
Robin Mueller a6c460129b update trait names 2025-09-06 19:26:39 +02:00