]> https://gitweb.dealii.org/ - dealii.git/commit
Doxygen: Fix include strip 10195/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:26:30 +0000 (14:26 -0500)
commit6a8242d34f75bb79d283748ffe6a31948452166d
tree5fa70d91d748fa71248a237999c0aafff3ac310f
parent522f7d923958858b043a17ee694d52e7b5c5eb99
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.