]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2957 from drwells/remove-unused-variables
authorWolfgang Bangerth <bangerth@colostate.edu>
Sun, 14 Aug 2016 17:05:44 +0000 (12:05 -0500)
committerGitHub <noreply@github.com>
Sun, 14 Aug 2016 17:05:44 +0000 (12:05 -0500)
commit79615dc72fa65b3a23966461e46ac28f808ff278
tree7fb58a0dd24fbe716a7c483346baf098264d7d0f
parentacfa79328ea0c55d69ad82b55e76eaef735c6711
parenteb190d95d2535c68c5ce02b126980125eb2dd63f
Merge pull request #2957 from drwells/remove-unused-variables

Remove some unused variables.

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.