]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4033 from masterleinad/fix_unused_var
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sun, 5 Mar 2017 15:59:24 +0000 (16:59 +0100)
committerGitHub <noreply@github.com>
Sun, 5 Mar 2017 15:59:24 +0000 (16:59 +0100)
commit941b28643956759d55901a8de167d0de7b423fc5
tree59d629f142ab40ca983e9d18fdc4d438b7789671
parentf6fef9fb3647b83cd825fb609ebb982acf06d310
parent5a8bace1cd08f58924828ff1b292216668a2b4e4
Merge pull request #4033 from masterleinad/fix_unused_var

Handle more unused variables and parameters

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.