From: Timo Heister 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