]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16053 from bangerth/subset
authorPeter Munch <peterrmuench@gmail.com>
Thu, 28 Sep 2023 06:49:48 +0000 (08:49 +0200)
committerGitHub <noreply@github.com>
Thu, 28 Sep 2023 06:49:48 +0000 (08:49 +0200)
commite8f57130d069e153ff96e41d2086e394e89c1954
tree775283fbf682f9c4f1ca6bbbad9dc85ac7b7eb12
parent0b65fff18a61c7e0c3ea5971243afa0d8b3a92af
parent4d1ba2ec65b933582604e71749921bc00de3e486
Merge pull request #16053 from bangerth/subset

Add an assertion.

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.