]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16401 from bangerth/trilinos-dev
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 2 Jan 2024 21:59:22 +0000 (16:59 -0500)
committerGitHub <noreply@github.com>
Tue, 2 Jan 2024 21:59:22 +0000 (16:59 -0500)
commit66d0812606f66baaa1b5882072b937fb7b89cc78
tree907e9a4cc45f4e934038901674d5cfef857c1832
parent3ed617c872238f9678e7624db2820b9565c6dc82
parent78c01f41b36e01ac890c7844756c36380815fa52
Merge pull request #16401 from bangerth/trilinos-dev

Avoid a global 'typedef' and qualify things locally.

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.