From: Wolfgang Bangerth <bangerth@colostate.edu>
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