]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15264 from bangerth/doxygen
authorLuca Heltai <luca.heltai@sissa.it>
Sun, 28 May 2023 21:15:15 +0000 (23:15 +0200)
committerGitHub <noreply@github.com>
Sun, 28 May 2023 21:15:15 +0000 (23:15 +0200)
commit112f7bbc6979aca3714597c576f27a0321abfc58
tree1f1001cfb72cfd76508e2b24a9385094d9a11826
parent3c4156336ac6feed2504411eb747f4958d52503d
parentba7ce78e98f6f857f642e10672b294fed1451ed7
Merge pull request #15264 from bangerth/doxygen

Suppress 'requires' clauses for doxygen if doxygen is too old.

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.