From: Wolfgang Bangerth Date: Fri, 17 Mar 2017 04:42:05 +0000 (-0600) Subject: Merge pull request #4071 from drwells/coverity-example-exceptions X-Git-Tag: v8.5.0-rc1~34 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=756a4c771a84d4bba9acf012facf0908d7991c32;p=dealii.git Merge pull request #4071 from drwells/coverity-example-exceptions Catch exceptions in main() in later steps. --- 756a4c771a84d4bba9acf012facf0908d7991c32