From: Wolfgang Bangerth Date: Tue, 21 Jan 2020 22:39:38 +0000 (-0700) Subject: Merge pull request #9195 from peterrum/tria_new_create_triangulation X-Git-Tag: v9.2.0-rc1~626 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=69148b7b5dfce558262b20b58bd9e23d00ca9e41;p=dealii.git Merge pull request #9195 from peterrum/tria_new_create_triangulation Create new dealii::Triangulation::create_triangulation() --- 69148b7b5dfce558262b20b58bd9e23d00ca9e41 diff --cc source/distributed/fully_distributed_tria.cc index 710f4b517f,247363b030..a5607aeb08 --- a/source/distributed/fully_distributed_tria.cc +++ b/source/distributed/fully_distributed_tria.cc @@@ -16,10 -16,8 +16,9 @@@ #include #include +#include #include - #include #include