]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3824 from tjhei/fix_3820
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 19 Jan 2017 17:07:38 +0000 (10:07 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Jan 2017 17:07:38 +0000 (10:07 -0700)
commita64c6c9fe715566aa961d87770267cd93785a66e
treee6dd58c6ba56cbbc556739e55d9b8f84ef76d201
parent40c8c9168a6bcecab334baf3642a28349de1b45f
parentf4cbb3cb92743120fc03e5ef7c511d661bb20123
Merge pull request #3824 from tjhei/fix_3820

fix PR 3820

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.