Skip to content

Remove thom groebner#47

Draft
sjunges wants to merge 17 commits intostormchecker:masterfrom
sjunges:remove_thom_groebner
Draft

Remove thom groebner#47
sjunges wants to merge 17 commits intostormchecker:masterfrom
sjunges:remove_thom_groebner

Conversation

@sjunges
Copy link
Contributor

@sjunges sjunges commented Aug 28, 2024

Removes code that lies untested in carl and is also not used by us (?)

@sjunges sjunges marked this pull request as draft August 28, 2024 14:43
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