]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1735 from bangerth/fix-warning
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 12 Oct 2015 06:23:26 +0000 (08:23 +0200)
committerMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 12 Oct 2015 06:23:26 +0000 (08:23 +0200)
commited1d5d31a1d2a29965cbf5f653fd106ab7aacf47
tree1383baaf5f78f8b96fe2be1ea70dee8ca8254a29
parent49eb44c1d0b25c4613c9223a3bca9289cd3d8136
parent253cde11fbd1d2019a8ef737e74134e94bd5e33f
Merge pull request #1735 from bangerth/fix-warning

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.