Feature/python with dune 2.9
Compare changes
Files
4@@ -151,7 +151,7 @@ def propertiesHeaderPath():
Implements the changes due to https://gitlab.dune-project.org/core/dune-common/-/merge_requests/1054 (merged). This is only related to the dune master (2.9-git).