From: Daniel Arndt Date: Sat, 25 Apr 2020 19:07:10 +0000 (-0400) Subject: Merge pull request #9959 from peterrum/doxygen_copy_new_triangulation_to_p4est X-Git-Tag: v9.2.0-rc1~184 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=42fa0d54664f7943b6735eaf7b8cd5a6316a62c7;p=dealii.git Merge pull request #9959 from peterrum/doxygen_copy_new_triangulation_to_p4est --- 42fa0d54664f7943b6735eaf7b8cd5a6316a62c7