]> https://gitweb.dealii.org/ - dealii.git/commit
Merge branch 'drwells-void-unused-parameters'
authorMatthias Maier <matthias.maier@iwr.uni-heidelberg.de>
Tue, 14 Apr 2015 10:50:25 +0000 (12:50 +0200)
committerMatthias Maier <matthias.maier@iwr.uni-heidelberg.de>
Tue, 14 Apr 2015 10:50:25 +0000 (12:50 +0200)
commit4363590996b2e4e5fe3b12d778e3aded9c1e03fc
treef4befd882b53bd85d53ae26cf7ab4df533669b96
parent56e626b1b9b7d0bb1e6699f08902c573f0edbb86
parent8d1e18515a6ffb48560d961ba31506d07864dba2
Merge branch 'drwells-void-unused-parameters'

merges #736
closes #736

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.