]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13324 from kronbichler/fix_warning
authorMatthias Maier <tamiko@43-1.org>
Wed, 2 Feb 2022 14:21:44 +0000 (08:21 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Feb 2022 14:21:44 +0000 (08:21 -0600)
commitcb1d9a649f752d7ebec8ce28ff1225c035e37c07
tree91d49b3a34536f81e84c89c04f6d273655d17085
parent15b66bfea5e34969bca02226af5619cc031df76c
parentb3ad7f2a0133937ed8314ba3bac93e1c18593fde
Merge pull request #13324 from kronbichler/fix_warning

Fix warning regarding unused parameter

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.