]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3504 from bangerth/remove-dead-code
authorTimo Heister <timo.heister@gmail.com>
Tue, 8 Nov 2016 16:26:09 +0000 (11:26 -0500)
committerGitHub <noreply@github.com>
Tue, 8 Nov 2016 16:26:09 +0000 (11:26 -0500)
commit74886380bf9fec8b9d3b44ecd035e1e85f1e1af1
treef27ac73ee9ec4569d6e9e44e1b5ea3199cd1b413
parent00214993924b958c423943330caf56c0dc1742eb
parenta6a810fa96915ea831c38f0917b1817f2f30580f
Merge pull request #3504 from bangerth/remove-dead-code

Remove some dead code.

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.