]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge remote-tracking branch 'upstream/master' 589/head
authorMichael F. Herbst <info@michael-herbst.com>
Mon, 23 Feb 2015 14:28:07 +0000 (15:28 +0100)
committerMichael F. Herbst <info@michael-herbst.com>
Mon, 23 Feb 2015 14:28:07 +0000 (15:28 +0100)

Trivial merge

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.