Skip to content

Conversation

@jdannberg
Copy link
Contributor

I already removed a bunch of there in #6431 and now saw them again in other places (like #6455), so I just found all plugins that has these descriptions and removed them.

@bangerth bangerth merged commit 6a40234 into geodynamics:main Jun 17, 2025
8 checks passed
@jdannberg jdannberg deleted the remove_more_deafult_text branch June 17, 2025 21:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants