From: Wolfgang Bangerth Date: Mon, 26 Jun 2023 17:56:15 +0000 (-0600) Subject: Merge pull request #107 from jh66637/remove_interface_desc X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eaf52824a7d6c77f31e42a505aa8ea3a0cc9a012;p=release-papers.git Merge pull request #107 from jh66637/remove_interface_desc dont show internal interfaces --- eaf52824a7d6c77f31e42a505aa8ea3a0cc9a012