]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16986 from bangerth/logstream
authorMartin Kronbichler <martin.kronbichler@rub.de>
Fri, 10 May 2024 05:42:37 +0000 (07:42 +0200)
committerGitHub <noreply@github.com>
Fri, 10 May 2024 05:42:37 +0000 (07:42 +0200)
commitcd64ca98b1dead98d9026df2d657a19fb00b19b2
tree0bb38971445ded3ced688ea539de74c4924c1d6d
parent6fc945cc4d10f387b50a0f0539a3cad89b1343a0
parent9086ecb5ea26087b5a6b240ee4a02cd72652a46f
Merge pull request #16986 from bangerth/logstream

Remove unnecessary references to logstream.h.

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.