Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make contest opponents an enum #1856

Merged
merged 1 commit into from
Feb 3, 2023
Merged

Make contest opponents an enum #1856

merged 1 commit into from
Feb 3, 2023

Conversation

Jaizu
Copy link
Contributor

@Jaizu Jaizu commented Feb 3, 2023

Description

I'm sure that at least 2 people eventually might consider editing them, this makes it easier.

Discord contact info

Jaizu#1

I'm sure that at least 2 people eventually might consider editing them, this makes it easier.
@GriffinRichards GriffinRichards merged commit 6c3bc86 into pret:master Feb 3, 2023
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.

2 participants