]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13311 from peterrum/is_interior_face
authorMartin Kronbichler <martin.kronbichler@it.uu.se>
Mon, 31 Jan 2022 14:56:33 +0000 (15:56 +0100)
committerGitHub <noreply@github.com>
Mon, 31 Jan 2022 14:56:33 +0000 (15:56 +0100)
commit0a9fbd351579e780b6f9e736c38d6418dc18c3fb
tree0f4b32b6303338023b531999a456702af83bfbed
parent2ade99777e2ef53c68c42ebda686b07580cdc576
parente815753723e46e72ed4138a6046f1c37579c8934
Merge pull request #13311 from peterrum/is_interior_face

FEEval: rename get_is_interior_face() to is_interior_face()

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.