From: Wolfgang Bangerth Date: Tue, 26 Sep 2017 17:20:11 +0000 (-0600) Subject: Merge pull request #5157 from tjhei/step56-template-naming X-Git-Tag: v9.0.0-rc1~1034 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a9e1cfddb84b8312c2617df0557a0fd51d6d4396;p=dealii.git Merge pull request #5157 from tjhei/step56-template-naming minor: step-56: consistent template arg naming --- a9e1cfddb84b8312c2617df0557a0fd51d6d4396