From: Timo Heister <timo.heister@gmail.com>
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