From: Bruno Turcksin Date: Mon, 25 Jul 2016 18:25:17 +0000 (-0400) Subject: Merge pull request #2862 from bangerth/use-portable-erfc X-Git-Tag: v8.5.0-rc1~847 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8954895255cb4cc5e328583c3a284a2fefe9b886;p=dealii.git Merge pull request #2862 from bangerth/use-portable-erfc Use portable version of erfc(). --- 8954895255cb4cc5e328583c3a284a2fefe9b886