From: Wolfgang Bangerth Date: Tue, 31 Jan 2017 13:26:33 +0000 (-0700) Subject: Merge pull request #3784 from koecher/typeid-to-type_traits-3597 X-Git-Tag: v8.5.0-rc1~182 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df2a49237a7ba1bc466f295fceb5444881abd763;p=dealii.git Merge pull request #3784 from koecher/typeid-to-type_traits-3597 Introduces a std conforming type trait for non-distributed vector types --- df2a49237a7ba1bc466f295fceb5444881abd763