An error occurred while fetching folder content.
Sander, Oliver
authored
This is needed even though we don't actually use MPI here. Dune aborts with a run-time error otherwise.
| Name | Last commit | Last update |
|---|
This is needed even though we don't actually use MPI here. Dune aborts with a run-time error otherwise.
| Name | Last commit | Last update |
|---|