From: Timo Heister Date: Tue, 17 Feb 2015 01:41:03 +0000 (-0500) Subject: Merge pull request #558 from bangerth/update-product-type X-Git-Tag: v8.3.0-rc1~453 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b58ef7baf3a5776799d7fa71a72878971b1d52d0;p=dealii.git Merge pull request #558 from bangerth/update-product-type Provide specializations for ProductType. Add a test. --- b58ef7baf3a5776799d7fa71a72878971b1d52d0