From: Guido Kanschat Date: Wed, 7 Jan 2015 08:30:12 +0000 (+0100) Subject: Merge pull request #402 from bangerth/remove-deprecated-functions X-Git-Tag: v8.3.0-rc1~566 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a81aad838219aa39b02f9cbec18e418933ec81fe;p=dealii.git Merge pull request #402 from bangerth/remove-deprecated-functions Remove deprecated functions after 8.2 release --- a81aad838219aa39b02f9cbec18e418933ec81fe