dealii/dealii — pull request #39 by bangerth (2014-07-29 14:28:52+00:00)
Title: 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.