From: Wolfgang Bangerth Date: Wed, 15 Apr 2015 23:38:17 +0000 (-0500) Subject: Merge pull request #809 from tamiko/fix_warnings X-Git-Tag: v8.3.0-rc1~269 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=83e6107e1242fa3cf6c5a0da86c84354413d7fb8;p=dealii.git Merge pull request #809 from tamiko/fix_warnings Silence bogus unused-parameters|variables warnings --- 83e6107e1242fa3cf6c5a0da86c84354413d7fb8