Skip to content
GitLab
Commit 02106bb2 authored by Peter Bastian's avatar Peter Bastian
Browse files

Merge branch 'feature/update-for-dune-2.6' into 'master' 

Minor changes to comply with the 2.6 release of Dune

See merge request !1
parents 005eb322 2c048275
master
1 merge request!1Minor changes to comply with the 2.6 release of Dune
Hide whitespace changes
Inline Side-by-side
Showing
with 13 additions and 13 deletions
+13 -13
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment