]> https://gitweb.dealii.org/ - dealii.git/commit
Merge branch 'pull_1673'
authorMatthias Maier <tamiko@43-1.org>
Fri, 23 Oct 2015 17:58:23 +0000 (12:58 -0500)
committerMatthias Maier <tamiko@43-1.org>
Fri, 23 Oct 2015 17:58:23 +0000 (12:58 -0500)
commit9db7b8aa9ea4fb11527ea5bc48d6a366365b9760
tree843efac38224c81ed01095d1a39d621199e4aaa7
parent4f62336d699ebcad00ddd05a810af6c45476d2b8
parent67c8e925d4107969c786033b5db096ed92c46de3
Merge branch 'pull_1673'

Manually rebase and merge pull request #1673

Closes #1673

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.