Skip to content

Compatibility with: https://github.com/FEniCS/dolfinx/pull/3495#138

Merged
jorgensd merged 1 commit intomainfrom dokken/dolfinx_mpi_compatDec 3, 2024

Commits

Commits on Dec 3, 2024