From: Denis Davydov Date: Sat, 22 Oct 2016 10:20:40 +0000 (+0200) Subject: Merge pull request #3281 from kronbichler/mapping_remove_unnecessary_code X-Git-Tag: v8.5.0-rc1~550 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=70e4aeac092faf3fceeadffc61d9bd8d98615c6a;p=dealii.git Merge pull request #3281 from kronbichler/mapping_remove_unnecessary_code Remove unnecessary code --- 70e4aeac092faf3fceeadffc61d9bd8d98615c6a