From: Wolfgang Bangerth Date: Thu, 2 Jun 2022 13:50:37 +0000 (-0600) Subject: Merge pull request #13883 from kronbichler/documentation X-Git-Tag: v9.4.0-rc1~81 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=770e5130a8a97a79392ddb38640b20827f511275;p=dealii.git Merge pull request #13883 from kronbichler/documentation Remove another inclusion of hanging_nodes_internal.h. Documentation. --- 770e5130a8a97a79392ddb38640b20827f511275