]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14855 from bangerth/fix-concepts
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Wed, 8 Mar 2023 09:10:09 +0000 (10:10 +0100)
committerGitHub <noreply@github.com>
Wed, 8 Mar 2023 09:10:09 +0000 (10:10 +0100)
commitc55298264c476ca9db680b4dcecd99e74eb1da7c
treeb782572b3b662da081c134f17ed16b5a29276eef
parente8569c691e48416e9a71ff757f6bf792a22ee7dd
parentbc903aa1e9c9d02e6289bd8d19457b4ce67b3ed5
Merge pull request #14855 from bangerth/fix-concepts

Fix a mistaken 'requires' annotation.

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.