Use new names of parallel communication headers (!81) · Merge requests · extensions / dune-alugrid · GitLab

The source project of this merge request has been removed.

Christoph Grüninger requested to merge (removed):feature/new-named-communication-headers into master Dec 15, 2019