]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16375 from drwells/fix-warning
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 21 Dec 2023 14:55:53 +0000 (07:55 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Dec 2023 14:55:53 +0000 (07:55 -0700)
commit02bb9b2eb8e48b05c1ffa94ca2f7320d7dc48741
treea42636604338e835968620030d8a887cc10837cf
parent42110167ede4250523d411077b19503bdd58499e
parent22e59435e5a9ec2e2a509cc46452480ae8e94d1e
Merge pull request #16375 from drwells/fix-warning

Fix an unused variable warning.

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.