]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9905 from drwells/remove-static-casts
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Thu, 16 Apr 2020 18:40:34 +0000 (20:40 +0200)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 18:40:34 +0000 (20:40 +0200)
commit43f73d735e0d7d3ed0e9160df1b364a81400729a
tree3e3976efa4ac549221408af8ffbf8b14d35890e8
parentba9955404460c4536923d049f4b47a40fa1c170e
parente8b998c6bea878e3592af33af2e55e131de918a7
Merge pull request #9905 from drwells/remove-static-casts

Remove some unneeded static casts.
source/grid/grid_out.cc

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.