]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10517 from masterleinad/fix_unused_dof_handler_policy
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 12 Jun 2020 04:26:39 +0000 (00:26 -0400)
committerGitHub <noreply@github.com>
Fri, 12 Jun 2020 04:26:39 +0000 (00:26 -0400)
commitaadc07fbaf3fd4f1564178b65998fa108fe65695
tree84118293a5091699a85e2d79fafe325a04e5601f
parent9e70cc34baadccdc26fd03597a01db21746fd5cf
parent3df62e75f098251013eae277b44d3e818aea054a
Merge pull request #10517 from masterleinad/fix_unused_dof_handler_policy

Fix warning about an unused variable in 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.