]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #843 from bangerth/silence-warning
authorTimo Heister <timo.heister@gmail.com>
Mon, 20 Apr 2015 02:08:04 +0000 (22:08 -0400)
committerTimo Heister <timo.heister@gmail.com>
Mon, 20 Apr 2015 02:08:04 +0000 (22:08 -0400)
commit674d5e5280096d717f30fb334b32ffa00a409e9c
tree9b65ef2435f6fa6c2664ff8b98dbff064595d7f1
parenta5104d81870d51bb640582aad65241fdcf511cac
parent1b172728288eadbd361c4f42ff086181a7cf781e
Merge pull request #843 from bangerth/silence-warning

Silence 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.