]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3450 from bangerth/fix-warning
authorMatthias Maier <tamiko@43-1.org>
Fri, 4 Nov 2016 18:44:42 +0000 (13:44 -0500)
committerGitHub <noreply@github.com>
Fri, 4 Nov 2016 18:44:42 +0000 (13:44 -0500)
commitd1b856da1e2fcd618aa1255e9cc7548485ef313a
tree0a5f6d1a219dc6b95d569c414e119936decff3bf
parentb5fc8d9c43a0a5a2e9f202309d7b3cf5fe4ec26f
parentad1da446e2f6e3d2b5de363f006ceed8db130757
Merge pull request #3450 from bangerth/fix-warning

No need for double parentheses.

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.