]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12957 from bangerth/warning
authorPeter Munch <peterrmuench@gmail.com>
Wed, 17 Nov 2021 20:44:17 +0000 (21:44 +0100)
committerGitHub <noreply@github.com>
Wed, 17 Nov 2021 20:44:17 +0000 (21:44 +0100)
commitaa363f01f38fbbe3541e1d75f23b709d232754d8
tree1426c2ff5ccc3fd515a75a5bb3b200669b7dae53
parentb4059e5d85719f5978aa4fe121562235b71d9e17
parent5065e669332bd5926e22c26409a279d62f22a0b5
Merge pull request #12957 from bangerth/warning

Work around a (wrong) warning about an unused variable.

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.