[!80] [TreePath] remove last bits of deprecated TreePath
Merge branch 'remove-last-traces-of-treepath' into 'master' ref:staging/dune-typetree\> we remove specializations of TreePath, as this now only an alias and this the HybridTreePath version matches. See merge request [!80] [!80]: gitlab.dune-project.org/staging/dune-typetree/merge_requests/80
Showing
Please register or sign in to comment