From: Timo Heister Date: Wed, 22 Oct 2014 20:20:34 +0000 (-0400) Subject: Merge pull request #208 from bangerth/augment-trilinos-detection X-Git-Tag: v8.2.0-rc1~101 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8004b0df83a44898b355c399545022125316f72b;p=dealii.git Merge pull request #208 from bangerth/augment-trilinos-detection Also ensure that we have ML as part of Trilinos. --- 8004b0df83a44898b355c399545022125316f72b