From: Wolfgang Bangerth Date: Sat, 12 Aug 2017 22:31:02 +0000 (-0600) Subject: Merge pull request #4771 from masterleinad/remove_2type X-Git-Tag: v9.0.0-rc1~1287 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3adef6fdaa33bf11e117f935fd0e71596461029c;p=dealii.git Merge pull request #4771 from masterleinad/remove_2type Remove int2type and bool2type --- 3adef6fdaa33bf11e117f935fd0e71596461029c