]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7203 from finkandreas/master
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 17 Sep 2018 21:54:56 +0000 (23:54 +0200)
committerGitHub <noreply@github.com>
Mon, 17 Sep 2018 21:54:56 +0000 (23:54 +0200)
commitc6b787699885c56daa7f94905199c46d75dc6ae4
treeb54d33a1959186e6f382a6cb5d815fb5db8caffa
parenta8a9a734c8fa2174a00c393642ff03cd49e016af
parent8a1195332c1c8f7c767e39dc85fee26f611cc6f6
Merge pull request #7203 from finkandreas/master

Fix PETSc version 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.