From: Luca Heltai Date: Sat, 24 Jan 2015 10:41:36 +0000 (+0100) Subject: Merge pull request #469 from bangerth/remove-deprecated-functions-4 X-Git-Tag: v8.3.0-rc1~518 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b87c6d727bc7e574bb024fe695c0fb44c65eee6;p=dealii.git Merge pull request #469 from bangerth/remove-deprecated-functions-4 Remove deprecated functions 4 --- 9b87c6d727bc7e574bb024fe695c0fb44c65eee6