From: Matthias Maier Date: Mon, 1 Sep 2014 20:01:55 +0000 (+0200) Subject: Merge pull request #111 from bangerth/replace-std_cxx1x-by-std_cxx11 X-Git-Tag: v8.2.0-rc1~171 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5c3456b89a4ca3afb02aa42df74b439a663adb10;p=dealii.git Merge pull request #111 from bangerth/replace-std_cxx1x-by-std_cxx11 Replace all occurrences of std_cxx1x by std_cxx11. --- 5c3456b89a4ca3afb02aa42df74b439a663adb10