From: Wolfgang Bangerth Date: Sun, 22 Mar 2015 16:48:40 +0000 (-0500) Subject: Merge pull request #678 from tjhei/manual_repartition X-Git-Tag: v8.3.0-rc1~365 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1d98f20d793899d69213df92f6d51219fde013e;p=dealii.git Merge pull request #678 from tjhei/manual_repartition Allow manual repartitioning in distributed tria --- d1d98f20d793899d69213df92f6d51219fde013e