]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3095 from bangerth/avoid-warning
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Sat, 10 Sep 2016 22:13:44 +0000 (00:13 +0200)
committerGitHub <noreply@github.com>
Sat, 10 Sep 2016 22:13:44 +0000 (00:13 +0200)
commit9e7fc5ddb114c264e6c28b7f2078868ec16de16f
tree47dd1d6970ff46d7ac9db603293eaf9cd9f884b8
parentb53be81e442887b059f92bf1d93ceb404227fba5
parent89bbd7dc19d359f352b13a84a14a566877c822f7
Merge pull request #3095 from bangerth/avoid-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.