]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 032a429 1c5fd21)
Merge pull request #12572 from bangerth/64b
authorDavid Wells <drwells@email.unc.edu>
Fri, 16 Jul 2021 20:04:24 +0000 (16:04 -0400)
committerGitHub <noreply@github.com>
Fri, 16 Jul 2021 20:04:24 +0000 (16:04 -0400)
Add a couple of exceptions that ensure we don't accidentally run out of indices.


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.