]> https://gitweb.dealii.org/ - code-gallery.git/commit
Merge pull request #75 from drwells/headers-2
authorTimo Heister <timo.heister@gmail.com>
Mon, 18 May 2020 19:56:09 +0000 (15:56 -0400)
committerGitHub <noreply@github.com>
Mon, 18 May 2020 19:56:09 +0000 (15:56 -0400)
commit7f274b2406d4f2c74adbfb2972135276be62341b
treebde73b8e791be0977e7dffd4e18468baa07250fa
parent14fa76b4f6f31a8f1d4b330d6b89f506c56fd66a
parentfedd2c36b24b7e3ae250737840651dd4244f3aa5
Merge pull request #75 from drwells/headers-2

Fix some #includes on noncompiled source files

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.