]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4396 from masterleinad/remove_unused_helper
authorDenis Davydov <davydden@gmail.com>
Mon, 15 May 2017 04:20:30 +0000 (06:20 +0200)
committerGitHub <noreply@github.com>
Mon, 15 May 2017 04:20:30 +0000 (06:20 +0200)
commit42a02cdd41c59ab249094d42863b8c7e099a9e52
tree7cf58f56ad78813b4649aa34be72d43e37458630
parentf4448ce61aca59763380eddda8165a9ba6a6a3f9
parent727c47120ea24c3e2379dd9dfa1ce24eea146168
Merge pull request #4396 from masterleinad/remove_unused_helper

Remove unused helper function

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.