From: Luca Heltai Date: Mon, 25 Mar 2019 19:09:56 +0000 (+0100) Subject: Merge pull request #7840 from luca-heltai/propagate-manifold X-Git-Tag: v9.1.0-rc1~250 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9c75553575644abba98590c2a236e4127117e4ba;p=dealii.git Merge pull request #7840 from luca-heltai/propagate-manifold New assign_co_dimensional_manifold_indicators function. --- 9c75553575644abba98590c2a236e4127117e4ba