]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7261 from drwells/fix-petsc-detection
authorTimo Heister <timo.heister@gmail.com>
Wed, 3 Oct 2018 13:42:45 +0000 (09:42 -0400)
committerGitHub <noreply@github.com>
Wed, 3 Oct 2018 13:42:45 +0000 (09:42 -0400)
commit203da4689e32775a748667772f54c5fd591b00b6
tree9c152e36e3dfbbb7fd76bfeb7709da615779f6df
parent1eb3c441c2c4d313e29552cb35ce93ba0c4003d3
parent1fdcf110fe0e3a2a8f107ac308857b8218ef2ecd
Merge pull request #7261 from drwells/fix-petsc-detection

[9.0.1] fix PETSc detection

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.