Skip to content

Remove Nutils#71

Merged
MakisH merged 1 commit into
developfrom
remove-nutils
Apr 16, 2024
Merged

Remove Nutils#71
MakisH merged 1 commit into
developfrom
remove-nutils

Conversation

@MakisH

@MakisH MakisH commented Apr 16, 2024

Copy link
Copy Markdown
Member

It is now installed in each tutorial separately (see precice/tutorials#439).

It is now installed in each tutorial separately
@MakisH MakisH self-assigned this Apr 16, 2024
@MakisH MakisH merged commit ef1c609 into develop Apr 16, 2024
@MakisH MakisH deleted the remove-nutils branch April 16, 2024 13:26
@MakisH MakisH mentioned this pull request Apr 17, 2024
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