]> https://gitweb.dealii.org/ - dealii.git/commit
Doxygen: Fix include strip 10196/head
authorMatthias Maier <tamiko@43-1.org>
Wed, 13 May 2020 19:19:18 +0000 (14:19 -0500)
committerMatthias Maier <tamiko@43-1.org>
Wed, 13 May 2020 19:19:18 +0000 (14:19 -0500)
commit8d724a07c619effb0f20e2bc38e33afec451055d
tree45f7477a6cfd2835072253eb5a2dd2ed36886c84
parent9674015cec7ef2cf3563ba1aa121b487ccd30758
Doxygen: Fix include strip

This fixes a bug introduced in #10187
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.