From: Wolfgang Bangerth Date: Sat, 4 Feb 2017 15:01:02 +0000 (-0700) Subject: Merge pull request #3903 from tjhei/rework_instantiations X-Git-Tag: v8.5.0-rc1~149 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ad1c93f9c72667788d30dd0da4979ffd57505df;p=dealii.git Merge pull request #3903 from tjhei/rework_instantiations cleanup template-arguments.in --- 4ad1c93f9c72667788d30dd0da4979ffd57505df