From: Timo Heister Date: Tue, 19 Aug 2014 17:47:47 +0000 (-0400) Subject: Merge pull request #98 from bangerth/require-newer-external-boost X-Git-Tag: v8.2.0-rc1~196 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f90c23592858351810e804e6353a6e252c7f7b56;p=dealii.git Merge pull request #98 from bangerth/require-newer-external-boost Require BOOST 1.48 or later when looking for an external installation. This addresses issue #246. --- f90c23592858351810e804e6353a6e252c7f7b56