Remove a comment that's no longer correct.#6118

Merged

tjhei merged 1 commit intogeodynamics:mainfrom bangerth:plugins-1

Nov 1, 2024

+1-3

Commits on Nov 1, 2024

Remove a comment that's no longer correct.
bangerth
committed