]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4544 from bangerth/suppress-warning
authorDenis Davydov <davydden@gmail.com>
Sun, 25 Jun 2017 07:22:12 +0000 (09:22 +0200)
committerGitHub <noreply@github.com>
Sun, 25 Jun 2017 07:22:12 +0000 (09:22 +0200)
commit3b6c4e072e0a39fd9a56ef2ae64d80521df7d4d7
treee0ba42987605da52c9f1e2a6df245090f1a2d4d3
parentbac59d24e80f562d7f31910e909177dfa78ba4c5
parent33e0e5ee1bed56370a17d7774f5a5c8602fb435d
Merge pull request #4544 from bangerth/suppress-warning

Suppress a 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.