]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14249 from kronbichler/fix_warning2
authorPeter Munch <peterrmuench@gmail.com>
Thu, 8 Sep 2022 10:32:45 +0000 (12:32 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Sep 2022 10:32:45 +0000 (12:32 +0200)
commitb567a5aa0ad57e7b32a54db99577f8726a05b7f9
tree01c0481d47f65536be2687f7d52c4b4cb0b425ac
parent072142678b821de3962041b66ce91bfcd8602a56
parenta986023c18e8117f98f883fedb42623ac665e509
Merge pull request #14249 from kronbichler/fix_warning2

Fix another 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.