From: Wolfgang Bangerth Date: Thu, 2 Feb 2017 20:08:07 +0000 (-0700) Subject: Merge pull request #3905 from davydden/doc_updates_tests X-Git-Tag: v8.5.0-rc1~165 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6c19cd7122b7801ac3f9affe82d9ef38e4568a64;p=dealii.git Merge pull request #3905 from davydden/doc_updates_tests more descriptive commands on how to setup tests for an already instal… --- 6c19cd7122b7801ac3f9affe82d9ef38e4568a64