]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #39 from bangerth/add-patch-generators-2
authorTimo Heister <timo.heister@gmail.com>
Tue, 29 Jul 2014 20:46:10 +0000 (22:46 +0200)
committerTimo Heister <timo.heister@gmail.com>
Tue, 29 Jul 2014 20:46:10 +0000 (22:46 +0200)
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.


Trivial merge

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.