]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4572 from bangerth/remove-todo
authorDenis Davydov <davydden@gmail.com>
Tue, 4 Jul 2017 07:28:03 +0000 (09:28 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Jul 2017 07:28:03 +0000 (09:28 +0200)
commit258a1cfd95fd8fc9609c9de87f2c444b512246fc
tree94e1fa73f86ada54ba7faad5e4075b19e273f306
parent13e6b03b4128c9e592427cbfb64dd4ed18d1758b
parent62dc20e8082163699560a2ca6009cf5f7e0a19d0
Merge pull request #4572 from bangerth/remove-todo

Remove a TODO.

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.