Skip to content

2017-05 merge of upstream repository

This synchronizes the EXADUNE fork of dune-common with upstream as of mid-May 2017, which gets rid of autotools and adds in Python support, among others.

Merge request reports

Loading