Skip to content

Use trixi_include from TrixiBase.jl#50

Merged
JoshuaLampert merged 4 commits intomainfrom trixibaseMay 13, 2024

Commits

Commits on May 13, 2024