]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4576 from tjhei/remove_warning
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 6 Jul 2017 11:37:42 +0000 (13:37 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Jul 2017 11:37:42 +0000 (13:37 +0200)
commit7757144d047b2393cd29c5ad1b96f9554ac66509
tree30c97e64f576f1e4f0c15f2a46dc55963eedb337
parentf6a937e493eaa967c4d4b472d62adad24e467afa
parentcaffa8a5df74ad2843cc997536399f5602b2db11
Merge pull request #4576 from tjhei/remove_warning

remove a compiler warning

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.