]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3001 from bangerth/avoid-warning
authorDenis Davydov <davydden@gmail.com>
Mon, 22 Aug 2016 23:38:22 +0000 (01:38 +0200)
committerGitHub <noreply@github.com>
Mon, 22 Aug 2016 23:38:22 +0000 (01:38 +0200)
commitc267bc3796a355441c6aee4ff60463ed3a0a8596
treeeb0031bdb640de233b3c0cb8fa6b1215d717ef4d
parentef81099aef26a961d2d6125185fc288a328155e6
parente08fb7ca1978f16ebfceec36d9994c2fcbbec8b4
Merge pull request #3001 from bangerth/avoid-warning

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