From: Timo Heister Date: Mon, 7 Sep 2015 14:08:26 +0000 (-0400) Subject: Merge pull request #1516 from tjhei/new_inst_file_splitting X-Git-Tag: v8.4.0-rc2~470 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9e0d2f4ff047afa28508ac8bf6db48dcfb2a331e;p=dealii.git Merge pull request #1516 from tjhei/new_inst_file_splitting rework fe_values.cc inst splitting --- 9e0d2f4ff047afa28508ac8bf6db48dcfb2a331e