]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7078 from drwells/fix-sign-warnings
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 20 Aug 2018 08:37:08 +0000 (10:37 +0200)
committerGitHub <noreply@github.com>
Mon, 20 Aug 2018 08:37:08 +0000 (10:37 +0200)
commitea62eb0f93b0ad509e02b5dc09f157d71e5aaa36
tree477dd229ca42b2a8de60409be9cbc2cdffadd8c8
parentaed8796c2201893c65797a66438a6119cf22cbcf
parent08e7a52c9bfee3514be1b957602048ee985273fe
Merge pull request #7078 from drwells/fix-sign-warnings

Fix some sign comparison warnings.

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.