From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 29 Jul 2014 20:46:10 +0000 (+0200)
Subject: Merge pull request #39 from bangerth/add-patch-generators-2
X-Git-Tag: v8.2.0-rc1~240
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94d1567b4103891128450d88460fb1478dfa05b0;p=dealii.git

Merge pull request #39 from bangerth/add-patch-generators-2

Rename DoFTools::map_global_to_patch_dof_indices() to get_dofs_on_patch().

Follow Timo's suggestion and revert the mapping from map_global_to_patch_dof_indices(). Consequently, also rename the function to get_dofs_on_patch(). Adjust the test.
---

94d1567b4103891128450d88460fb1478dfa05b0