From: Timo Heister Date: Thu, 14 Apr 2016 22:15:28 +0000 (+0200) Subject: Merge pull request #2508 from bangerth/doc-update-57 X-Git-Tag: v8.5.0-rc1~1105 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a9d306f557082b76d579ea9f58371c0f2eb6f215;p=dealii.git Merge pull request #2508 from bangerth/doc-update-57 Update a copy-paste error for DoFTools::extract_boundary_dofs(). --- a9d306f557082b76d579ea9f58371c0f2eb6f215