]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4083 from drwells/other-coverity-fixes
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sun, 19 Mar 2017 09:29:02 +0000 (10:29 +0100)
committerGitHub <noreply@github.com>
Sun, 19 Mar 2017 09:29:02 +0000 (10:29 +0100)
commit0f997c9642c46905a40a2b8fd54a6e3df1e69b13
tree05f23db23f19f9ad904baa09f37afdc367964ab5
parent46e524936bed3f545e2ce4f2366b6dbfaa725a93
parent251dc1bee30e6b6e521288dcd7cf184d229eabbc
Merge pull request #4083 from drwells/other-coverity-fixes

Other coverity fixes

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.