Skip to content

add friendly names for players#52

Merged
cliserkad merged 1 commit intomainfrom
player-names
Mar 11, 2025
Merged

add friendly names for players#52
cliserkad merged 1 commit intomainfrom
player-names

Conversation

@cliserkad
Copy link
Owner

No description provided.

@cliserkad cliserkad merged commit 7f57dc7 into main Mar 11, 2025
2 checks passed
@cliserkad cliserkad deleted the player-names branch March 11, 2025 02:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments