]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1858 from luca-heltai/fix-header
authorLuca Heltai <luca.heltai@sissa.it>
Tue, 10 Nov 2015 22:57:13 +0000 (23:57 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Tue, 10 Nov 2015 22:57:13 +0000 (23:57 +0100)
commiteeae199653e6eb0f963f4eab64bbdcf8a368e9f2
treee2a8a366dcb4bb870f7419af1355434eecbc4924
parent1f115f1964448934fd39cbe35296afce45eb37fa
parent9218a092813650de134a2dd4eab5f4548239134b
Merge pull request #1858 from luca-heltai/fix-header

Fixed 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.