]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8065 from kronbichler/dof_renumbering_cleanup
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sat, 11 May 2019 10:25:55 +0000 (12:25 +0200)
committerGitHub <noreply@github.com>
Sat, 11 May 2019 10:25:55 +0000 (12:25 +0200)
commit346810fc1a5441d0bda770510ac5cab238290d5b
tree3c8d281e1d87ec56c41825efd38f1c05ae46eed1
parent7a3bace1bd8db185c138b1df8564be2f537ac0dc
parentf1edfd623cd927000f7682b5298aa33089c70991
Merge pull request #8065 from kronbichler/dof_renumbering_cleanup

DoFHandlerPolicy::renumber_dofs: skip unnecessary index set computation
source/dofs/dof_handler_policy.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.