]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4071 from drwells/coverity-example-exceptions
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 17 Mar 2017 04:42:05 +0000 (22:42 -0600)
committerGitHub <noreply@github.com>
Fri, 17 Mar 2017 04:42:05 +0000 (22:42 -0600)
commit756a4c771a84d4bba9acf012facf0908d7991c32
treea3bf4fb9c5a9b924fb2595fb9c90faf9713983e4
parentb6b77d70c609f8f19cbf221f20c567d2e5e68eb2
parentee49cd4ba919e833eead786745a5c2b2abdf74a8
Merge pull request #4071 from drwells/coverity-example-exceptions

Catch exceptions in main() in later steps.

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.