From: Daniel Arndt Date: Wed, 29 Mar 2017 00:14:27 +0000 (+0200) Subject: Merge pull request #4132 from drwells/fix-quick-tests-8.5 X-Git-Tag: v8.5.0-rc2~17 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d93755d536cb630b03e587381e706fa45edf288a;p=dealii.git Merge pull request #4132 from drwells/fix-quick-tests-8.5 [8.5] take over #4131: Remove tests.h dependency from the quick tests. --- d93755d536cb630b03e587381e706fa45edf288a