]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11263 from peterrum/shape_info_outdated_comments
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Fri, 27 Nov 2020 18:49:05 +0000 (19:49 +0100)
committerGitHub <noreply@github.com>
Fri, 27 Nov 2020 18:49:05 +0000 (19:49 +0100)
commitac8d010384394c578a83072cc1d6873f5a8ce5c2
tree65699e6d3cecec17c07e9df5c5debbcd39266ae2
parenta94554816905efae7f036925f2a099c85dfd726d
parent22c955e4ccc78be4a678306ea5e1507a05457e50
Merge pull request #11263 from peterrum/shape_info_outdated_comments

ShapeInfo: remove outdated comments

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.