]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14767 from bangerth/cleanups
authorTimo Heister <timo.heister@gmail.com>
Wed, 8 Feb 2023 11:51:57 +0000 (06:51 -0500)
committerGitHub <noreply@github.com>
Wed, 8 Feb 2023 11:51:57 +0000 (06:51 -0500)
commitf3cf314fd8bb16c32ba1654d513d94736ed690ee
tree2fac9196daa045183a9933aab1cc294d9e19a8c5
parent91e6c87029b28c3522b7eca03678b27da273e557
parent7b98b79d3fe0932f1b083586d6ffad88ba94bb62
Merge pull request #14767 from bangerth/cleanups

Minor cleanups in PETSc interfaces.

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.