]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 368e9a2 73d2a53)
Merge pull request #16079 from bangerth/view
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Thu, 5 Oct 2023 14:06:04 +0000 (16:06 +0200)
committerGitHub <noreply@github.com>
Thu, 5 Oct 2023 14:06:04 +0000 (16:06 +0200)
Add a function to take a view of an index set with regard to an index set mask.


Trivial merge
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.