]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1573 from bangerth/fix-warnings
authorTimo Heister <timo.heister@gmail.com>
Thu, 10 Sep 2015 02:57:42 +0000 (22:57 -0400)
committerTimo Heister <timo.heister@gmail.com>
Thu, 10 Sep 2015 02:57:42 +0000 (22:57 -0400)
commitb040073f7e8d3d83f75dbe88dff69fa5f18e30eb
treec841b3f7596da17ca4b65bd671cccfda2d37763a
parent8bf056c79043fdabd7d2c0d15ed0b6993b9da330
parentb3601cef4b2547e645c283f2c0724c09ee3a6e6c
Merge pull request #1573 from bangerth/fix-warnings

Avoid a whole lot of warnings.

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.