]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4418 from bangerth/address-coverity-2
authorBruno Turcksin <bruno.turcksin@gmail.com>
Fri, 26 May 2017 18:00:48 +0000 (14:00 -0400)
committerGitHub <noreply@github.com>
Fri, 26 May 2017 18:00:48 +0000 (14:00 -0400)
commit796d53dc95a4e73306ec00c15623e2ee54767330
treed2f5740c37c93041df9bfd2ba1f7b1cd2f477378
parent57ccb6d69bc055b6731bfb442e8728794a927765
parent4dae46e968aa0a3be8a5ab10073d6577a3c380a9
Merge pull request #4418 from bangerth/address-coverity-2

Check that a stream is good while we read.

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.