]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5103 from bangerth/fix-warning
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 18 Sep 2017 20:09:21 +0000 (22:09 +0200)
committerGitHub <noreply@github.com>
Mon, 18 Sep 2017 20:09:21 +0000 (22:09 +0200)
commit99bbb9a4a1bd9d6f006503c4bed703b7cea0945b
tree7a536b81a6c8894178e5a994c5ca4fe3f065e17e
parent47e7854b85d823b5c540cbb951ec05d217f57fce
parent210c6bc0f30ad3b88415118645530117d92bd109
Merge pull request #5103 from bangerth/fix-warning

Avoid a warning about an unused argument.

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.