From: Martin Kronbichler Date: Mon, 10 Nov 2014 07:48:19 +0000 (+0100) Subject: Merge pull request #234 from bangerth/fix-std_cxx1x-vs-std_cxx11-compatibility X-Git-Tag: v8.2.0-rc1~72 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3aa2f0867d5b63d357672e7bb67c243630d2e815;p=dealii.git Merge pull request #234 from bangerth/fix-std_cxx1x-vs-std_cxx11-compatibility Allow using the old std_cxx1x namespace. --- 3aa2f0867d5b63d357672e7bb67c243630d2e815