From: Wolfgang Bangerth Date: Wed, 12 Jan 2022 13:22:36 +0000 (-0700) Subject: Merge pull request #13225 from marcfehling/tee-doc X-Git-Tag: v9.4.0-rc1~621 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be72dbb5a5f97aee1c8cf330b66664c848176fba;p=dealii.git Merge pull request #13225 from marcfehling/tee-doc Fix Y-pipe example in doc for `pipe_junction`. --- be72dbb5a5f97aee1c8cf330b66664c848176fba