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

move precategories to separate folder and rename to wild categories #1103

Merged
merged 10 commits into from
Feb 21, 2024

Conversation

felixwellen
Copy link
Collaborator

refactor (split into files)
rename
add instance for Types

@felixwellen felixwellen changed the title introduce wild categories, copying from precategories move precategories to separate folder and rename to wild categories Feb 20, 2024
@felixwellen felixwellen force-pushed the fwellen/wild_categories branch from 28704e6 to 7aa2a04 Compare February 20, 2024 18:07
@felixwellen felixwellen marked this pull request as ready for review February 20, 2024 18:27
@felixwellen
Copy link
Collaborator Author

@aljungstrom since I changed code from you - can you have a look?

@felixwellen
Copy link
Collaborator Author

This solves #1009

@aljungstrom
Copy link
Contributor

@felixwellen looks good!

@aljungstrom
Copy link
Contributor

thanks:)

@felixwellen
Copy link
Collaborator Author

Ok, merging then :-)

@felixwellen felixwellen merged commit d182af3 into master Feb 21, 2024
1 check passed
@felixwellen felixwellen deleted the fwellen/wild_categories branch February 21, 2024 13:35
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