]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9217 from peterrum/fix_date
authorTimo Heister <timo.heister@gmail.com>
Fri, 3 Jan 2020 21:13:23 +0000 (16:13 -0500)
committerGitHub <noreply@github.com>
Fri, 3 Jan 2020 21:13:23 +0000 (16:13 -0500)
commitbcb68631b049c6dbb03b0a18613476b80105b561
treefe384b353f7a4c68155f470bd917ebd1b765b33c
parent89ac92f1fce50dc0111338cf7e6a927ed9a38947
parent5bf6ed37021bede81cfab5cb00c64e4040b1726a
Merge pull request #9217 from peterrum/fix_date

Fix date in header

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.