]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14202 from drwells/more-trilinos-header-fixes
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 19 Aug 2022 02:37:38 +0000 (20:37 -0600)
committerGitHub <noreply@github.com>
Fri, 19 Aug 2022 02:37:38 +0000 (20:37 -0600)
commit9c9d7688012febb19a15196fb437c2e5a77e174e
tree135d084586de8064cb09a1ba3c83f08d16f24abd
parentd82986aa84390b992af96008eace7d38a9d20a3b
parent90822fdf9969327ae1fe6c4b408a8f78d2e1953d
Merge pull request #14202 from drwells/more-trilinos-header-fixes

Add some more missing Trilinos headers.

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.