From: Timo Heister Date: Tue, 22 Mar 2016 13:37:25 +0000 (+0100) Subject: Merge pull request #2391 from bangerth/fix-warnings-5 X-Git-Tag: v8.5.0-rc1~1184 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ca718ab62ae0a57dd7713d27ff4d3682fe495ed5;p=dealii.git Merge pull request #2391 from bangerth/fix-warnings-5 Avoid warnings about unused function arguments. --- ca718ab62ae0a57dd7713d27ff4d3682fe495ed5