]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6960 from marcfehling/cleanup-6939
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 26 Jul 2018 12:43:37 +0000 (14:43 +0200)
committerGitHub <noreply@github.com>
Thu, 26 Jul 2018 12:43:37 +0000 (14:43 +0200)
commit66e7699d95f7e3450fdde5e59ed32eed15455f71
treea98a3bb698a06b9f150606a9143fbae571db5425
parentb3c6ab278217a1792e6823a6e787785ae20cd6bb
parentb2e3aebdd53af0bb4492f96a3a5ef41bd153eb5b
Merge pull request #6960 from marcfehling/cleanup-6939

Prevent warnings introduced in #6936.
source/distributed/solution_transfer.cc

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.