From: Denis Davydov Date: Sun, 27 Dec 2015 19:27:14 +0000 (+0100) Subject: Merge pull request #2019 from bangerth/remove-outdated-references X-Git-Tag: v8.4.0-rc2~129 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3dac804d988f39f701f5d6f6aa2e733b20b1e0e8;p=dealii.git Merge pull request #2019 from bangerth/remove-outdated-references Remove references to the pre-historic parallel::distributed::DoFHandler. --- 3dac804d988f39f701f5d6f6aa2e733b20b1e0e8