]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4412 from bangerth/avoid-warning
authorDavid Wells <drwells@vt.edu>
Wed, 24 May 2017 03:59:04 +0000 (21:59 -0600)
committerGitHub <noreply@github.com>
Wed, 24 May 2017 03:59:04 +0000 (21:59 -0600)
commit9ba372a669d4ad620f84d4425ed2f4de3611f4dd
tree99998639f3366ad691307e8e28f1febbdba85c75
parenta5bba8291cb7107a839d8c7d8184b308d8a243cf
parentfcd415b3f6c4f4b9aa53b82998bf9ad0849f7187
Merge pull request #4412 from bangerth/avoid-warning

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