From: Luca Heltai Date: Mon, 18 May 2015 21:26:36 +0000 (+0200) Subject: Merge pull request #939 from QiaoLei-88/unusedFunction X-Git-Tag: v8.3.0-rc1~164 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=123e0e0606d748bdd7a0cb3d9bcf7cc8c899fa83;p=dealii.git Merge pull request #939 from QiaoLei-88/unusedFunction suppress warning unused function 'get_element' --- 123e0e0606d748bdd7a0cb3d9bcf7cc8c899fa83