]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1181 from bangerth/remove-unused-variable
authorBruno Turcksin <bruno.turcksin@gmail.com>
Thu, 23 Jul 2015 22:58:51 +0000 (17:58 -0500)
committerBruno Turcksin <bruno.turcksin@gmail.com>
Thu, 23 Jul 2015 22:58:51 +0000 (17:58 -0500)
commit4b72966a7ec681c7d5cd31805695666d6dcacf64
treec45da0609082c9524e6eac9df846951ce1188173
parentad7fe2e05bfc9acb97784fc67e8c8000c30f11c4
parent4e999d4e4f2bf4fbfa7085fa12c5949431811173
Merge pull request #1181 from bangerth/remove-unused-variable

Remove an unused variable.

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.