]> https://gitweb.dealii.org/ - dealii.git/commit
Work around a doxygen problem. 14856/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 9 Mar 2023 20:27:51 +0000 (13:27 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Thu, 9 Mar 2023 20:27:51 +0000 (13:27 -0700)
commite30d02eb6dc9017e31585b15442d50067e1eb45a
tree12b419f58b277bb13d7e54756ea3f654ba52bb02
parent5ebf301ea2c4e6b757ac1835c913abc7b18505a9
Work around a doxygen problem.

Specifically, do not show 'requires' clauses to doxygen since it has
trouble parsing them and then stalls the CI.
doc/doxygen/options.dox.in

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.