From: Matthias Maier Date: Mon, 28 Dec 2015 11:35:13 +0000 (-0600) Subject: Merge pull request #2005 from tjhei/operator_and_named_data X-Git-Tag: v8.4.0-rc2~127 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3882ecee9fdc0706f5f7cf3cc17e0eb0ef299585;p=dealii.git Merge pull request #2005 from tjhei/operator_and_named_data remove NamedData and deprecated algorithms::Operator --- 3882ecee9fdc0706f5f7cf3cc17e0eb0ef299585