From: Wolfgang Bangerth <bangerth@colostate.edu>
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