From: Matthias Maier <tamiko@kyomu.43-1.org>
Date: Tue, 20 Jan 2015 07:24:44 +0000 (+0100)
Subject: Merge pull request #454 from dakshinai/filtered_matrix
X-Git-Tag: v8.3.0-rc1~522
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7def64b3c8c7f14da8d3a88331589e04032b6ca2;p=dealii.git

Merge pull request #454 from dakshinai/filtered_matrix

closes #454
---

7def64b3c8c7f14da8d3a88331589e04032b6ca2