Skip to content

add additional names to the interface#45

Merged
Kraysent merged 1 commit intomainfrom
additional-names
Mar 12, 2026
Merged

add additional names to the interface#45
Kraysent merged 1 commit intomainfrom
additional-names

Conversation

@Kraysent
Copy link
Member

No description provided.

@Kraysent Kraysent merged commit b63d8ee into main Mar 12, 2026
2 checks passed
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