From: Matthias Maier Date: Sun, 14 Feb 2016 17:34:06 +0000 (-0600) Subject: Merge pull request #2190 from tjhei/8_4_pr2189 X-Git-Tag: v8.4.0-rc2~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e10dfc606d9e8dea3b1e8a2867a8f3713d324b9b;p=dealii.git Merge pull request #2190 from tjhei/8_4_pr2189 [8.4] take over #2189: fix doxygen warning in GridTools::get_dof_to_support_patch_map --- e10dfc606d9e8dea3b1e8a2867a8f3713d324b9b