From: Wolfgang Bangerth Date: Wed, 1 Mar 2017 17:42:19 +0000 (-0700) Subject: Merge pull request #4007 from drwells/add-diff-execution-check X-Git-Tag: v8.5.0-rc1~84 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ca72c3db108d8762886170893f481b2bd2017c4c;p=dealii.git Merge pull request #4007 from drwells/add-diff-execution-check Check that numdiff and diff can run with very simple input. --- ca72c3db108d8762886170893f481b2bd2017c4c