Commit ab2a447f authored by Steffen Müthing's avatar Steffen Müthing

[!53] Add utility leafTreePathTuple()

Merge branch 'feature/leaftreepathtuple' into 'master'

ref:staging/dune-typetree This generates a tuple with all tree paths referring
to the leaf nodes of a tree.

See merge request [!53]

  [!53]: gitlab.dune-project.org/staging/dune-typetree/merge_requests/53
parents ebe52f7e 0b1f0f5a
Pipeline #17282 passed with stage
in 1 minute and 59 seconds