From: Wolfgang Bangerth Date: Thu, 4 Feb 2016 23:23:33 +0000 (-0600) Subject: Merge pull request #2133 from tjhei/test_empty_results X-Git-Tag: v8.4.0-rc2~39 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe27bade309c0a94847b6be48e255ab11f9cfa99;p=dealii.git Merge pull request #2133 from tjhei/test_empty_results handle empty test output --- fe27bade309c0a94847b6be48e255ab11f9cfa99