From: Peter Munch <peterrmuench@gmail.com>
Date: Sun, 6 Aug 2023 20:58:15 +0000 (+0200)
Subject: Merge pull request #15817 from peterrum/as_dof_handler_level_iterator
X-Git-Tag: relicensing~615
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c95eb98a62d9db83dbe45481d1e6931241cbb770;p=dealii.git

Merge pull request #15817 from peterrum/as_dof_handler_level_iterator

Introduce Triangulation::as_dof_handler_level_iterator()
---

c95eb98a62d9db83dbe45481d1e6931241cbb770