From: Guido Kanschat Date: Sun, 5 Jul 2015 10:11:40 +0000 (+0200) Subject: Merge pull request #1079 from tjhei/testsuite_pretty_function X-Git-Tag: v8.3.0-rc1~61 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be7fcb56ef8239f2212a6c57a2b49b0d9023b6cb;p=dealii.git Merge pull request #1079 from tjhei/testsuite_pretty_function rework unify_pretty_function() in testsuite so that sed is not needed anymore --- be7fcb56ef8239f2212a6c57a2b49b0d9023b6cb