From: Wolfgang Bangerth Date: Thu, 1 May 2025 21:19:59 +0000 (-0600) Subject: Merge pull request #18379 from drwells/update-orientation-glossary X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b50a277006890564a3e469d477fda1b3bffecc90;p=dealii.git Merge pull request #18379 from drwells/update-orientation-glossary Give the combined orientation a glossary entry. --- b50a277006890564a3e469d477fda1b3bffecc90