]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1749 from bangerth/fix-warning-4
authorTimo Heister <timo.heister@gmail.com>
Tue, 13 Oct 2015 16:49:56 +0000 (12:49 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 13 Oct 2015 16:49:56 +0000 (12:49 -0400)
commit69298355a73fb08f6adb117df3aed4142f57c22f
treeb194ac07fb47bd9c92b53d8a717b23c967cb2e77
parent2606c8e8aa011882c545037ccd60450c5320b41c
parenta77662c156d6bb13a2b41839e268ccd6383f5204
Merge pull request #1749 from bangerth/fix-warning-4

Fix a warning in optimized mode.

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.