]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12841 from bangerth/dif2
authorPeter Munch <peterrmuench@gmail.com>
Tue, 19 Oct 2021 05:59:35 +0000 (07:59 +0200)
committerGitHub <noreply@github.com>
Tue, 19 Oct 2021 05:59:35 +0000 (07:59 +0200)
commit84e3ecb0e0f4ec22d021cad93343008988fdc434
tree02c0647bce274df92291f773a7464fb839133cd3
parent24e77b90afb7f2dfcb1aad90e22b3beadcccf306
parent570fea44557f6ae7520529868f50b72570a366fd
Merge pull request #12841 from bangerth/dif2

Simplify some code by using std::any_of().

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.