Merge pull request #18219 from bangerth/detailed
authorMatthias Maier <tamiko@43-1.org>
Tue, 25 Mar 2025 05:32:32 +0000 (05:32 +0000)
committerGitHub <noreply@github.com>
Tue, 25 Mar 2025 05:32:32 +0000 (05:32 +0000)
commit4274414461ca7cb8a0f02b50784ff7025ef870a1
tree4e35b8e02507b71d1e69fc28a1e425cf38709c20
parentce34ce0a185a14c6ddde784be8f78a533467c258
parenta4728178bae86cde1ee80e98b367eefeaa838fbc
Merge pull request #18219 from bangerth/detailed

Minor cleanup in reporting in detailed.log.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.