]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9041 from kronbichler/remove_unused_variable
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 12 Nov 2019 13:39:15 +0000 (08:39 -0500)
committerGitHub <noreply@github.com>
Tue, 12 Nov 2019 13:39:15 +0000 (08:39 -0500)
commit3419f80733d686460b06fe6d9d691b5c73c16616
tree79b4f7ae3cae1dd2d06e31a69b1863ed748ac075
parent78cc534d5d368e2abe20f5e9b93d9e94762dbf99
parent365d642a99386428d2a0b7748d3f79641e09786b
Merge pull request #9041 from kronbichler/remove_unused_variable

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