]> https://gitweb.dealii.org/ - dealii.git/commit
Use enum to make categories more descriptive 15866/head
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Fri, 11 Aug 2023 16:19:39 +0000 (18:19 +0200)
committerMartin Kronbichler <martin.kronbichler@uni-a.de>
Sat, 12 Aug 2023 06:08:48 +0000 (08:08 +0200)
commit2fbcee4355aa02a4f2f0f798578048457bfddc33
tree4bae6a9bf2eec03ba012e0858e09b4cadd1840a9
parent74424b7b645c7503c8b6665c374e06ad29b0c1ce
Use enum to make categories more descriptive
source/dofs/dof_renumbering.cc

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.