]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2472 from bangerth/fix-warnings-6
authorBruno Turcksin <bruno.turcksin@gmail.com>
Wed, 6 Apr 2016 21:14:51 +0000 (16:14 -0500)
committerBruno Turcksin <bruno.turcksin@gmail.com>
Wed, 6 Apr 2016 21:14:51 +0000 (16:14 -0500)
commit8dc29cf4cef35f630578eabe9ebf2773868b088e
tree030cc492c68e158ec4ca36243eabd6aa15218308
parent426d7f4bbaba28ecb20366aed6eb45c43333bee1
parente4e81b414956255410c33b15112e5d57df4ad177
Merge pull request #2472 from bangerth/fix-warnings-6

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