]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #818 from bangerth/avoid-warning
authorMatthias Maier <tamiko@43-1.org>
Fri, 17 Apr 2015 06:16:26 +0000 (08:16 +0200)
committerMatthias Maier <tamiko@43-1.org>
Fri, 17 Apr 2015 06:16:26 +0000 (08:16 +0200)
commit5642fb971a420fbe87438881231cf4978962f78e
tree58e6b2490880739492d69b0b537e1288d0e9e907
parent6f86d24dab4e60f5a274f39e9d1173d5ae0ed158
parentee8025fbee5cb089aecef21be83704b94dacb814
Merge pull request #818 from bangerth/avoid-warning

Avoid a warning with recently enabled -Wxxx flags.

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.