]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5519 from bangerth/doc-update
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 23 Nov 2017 16:25:15 +0000 (17:25 +0100)
committerGitHub <noreply@github.com>
Thu, 23 Nov 2017 16:25:15 +0000 (17:25 +0100)
commit3fa2769ffcf04a18bc4b060385cfa81a23d088f6
tree1e8858c7bf56ef0e8540e288d2ab9863e9440cdb
parent1dafe5da46038f37a9e600f0df0508a6fe5fb3cd
parent576a2afa9322be4f8a7e05464684955116f986a9
Merge pull request #5519 from bangerth/doc-update

Minor doc updates.

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.