]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dab0c58 125fdbd)
Merge pull request #11692 from bangerth/ref-cell-19
authorPeter Munch <peterrmuench@gmail.com>
Sun, 7 Feb 2021 10:41:31 +0000 (11:41 +0100)
committerGitHub <noreply@github.com>
Sun, 7 Feb 2021 10:41:31 +0000 (11:41 +0100)
Avoid using a function in a context in which it makes no sense.

1  2 
source/grid/tria.cc patch | diff1 | diff2 | blob | history

diff --cc source/grid/tria.cc
Simple 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.