]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8311 from kronbichler/fixup_pr8298
authorDavid Wells <drwells@email.unc.edu>
Sun, 9 Jun 2019 02:45:00 +0000 (22:45 -0400)
committerGitHub <noreply@github.com>
Sun, 9 Jun 2019 02:45:00 +0000 (22:45 -0400)
commitf6544a1a510e4229dc80c79c3672050337621a25
tree442c4f656517f88d2aa502a9e58a45909e22d138
parentf48b9038ffa29eaafe53381b1582394e465ddbe9
parent84f189da03babcc74bda7942b2065abb0984a822
Merge pull request #8311 from kronbichler/fixup_pr8298

Avoid 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.