Skip to content

Removed der dependency#297

Merged
ChristopherRabotin merged 3 commits intomasterfrom
230-remove-der-dependency
Apr 24, 2024
Merged

Removed der dependency#297
ChristopherRabotin merged 3 commits intomasterfrom
230-remove-der-dependency

Conversation

@ChristopherRabotin
Copy link
Copy Markdown
Member

Closes #230

@ChristopherRabotin ChristopherRabotin merged commit 926214e into master Apr 24, 2024
@ChristopherRabotin ChristopherRabotin deleted the 230-remove-der-dependency branch April 24, 2024 03:48
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.

Remove der dependency

1 participant