dealii/dealii — pull request #111 by bangerth (2014-08-24 16:47:02+00:00)
Title: Replace all occurrences of std_cxx1x by std_cxx11.

Keep the old files and namespace for backward compatibility.