From: Guido Kanschat Date: Mon, 6 Jul 2015 14:19:12 +0000 (+0200) Subject: Merge pull request #1086 from tjhei/fix_test_output X-Git-Tag: v8.3.0-rc1~52 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3729d1cef3b750bd8a5c78abcd5b3f122865fed9;p=dealii.git Merge pull request #1086 from tjhei/fix_test_output fix test output --- 3729d1cef3b750bd8a5c78abcd5b3f122865fed9