From: David Wells Date: Thu, 30 Aug 2018 14:17:22 +0000 (-0400) Subject: Merge pull request #7102 from marcfehling/extend-doc X-Git-Tag: v9.1.0-rc1~763 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=47216903aba0efdc0c51ac04277944c8bdee53f2;p=dealii.git Merge pull request #7102 from marcfehling/extend-doc Extend doc on 'compute_line_dof_identities' and 'get_active_neighbors'. --- 47216903aba0efdc0c51ac04277944c8bdee53f2