]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12590 from Rombur/fix_warnings
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 21 Jul 2021 22:16:00 +0000 (16:16 -0600)
committerGitHub <noreply@github.com>
Wed, 21 Jul 2021 22:16:00 +0000 (16:16 -0600)
commit0f7a56d412cf150e83df59a00d1508d36c3a7ca5
treeac35e7fc851baf4269fc276960b8791a59977990
parent2ea5835c64513035d0dc151b8fb3e0363dff3ba3
parent3c02b4fd450e63ecc77aa62b26d96df84229e03c
Merge pull request #12590 from Rombur/fix_warnings

Fix unused-but-set-variable warnings

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.