]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13015 from bangerth/clean
authorMartin Kronbichler <martin.kronbichler@it.uu.se>
Tue, 30 Nov 2021 20:58:12 +0000 (21:58 +0100)
committerGitHub <noreply@github.com>
Tue, 30 Nov 2021 20:58:12 +0000 (21:58 +0100)
commitae3a233869254dc362fa5ea9e7b964ae631166ba
treed8473e3c41bfceb8e197007e638cdec7ea8568ec
parent1842c5629453d56ac2b957ff6b15b067e5228265
parentcaebe404a3fba014a8783e4002392ae5c4f7774d
Merge pull request #13015 from bangerth/clean

Guard a forward declaration.

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.