Commit 922bd812 authored 9 years ago by Christoph Grüninger Committed by Steffen Müthing 9 years ago

Merge branch 'feature/fix-shadow-warnings' into 'master'


Fix Wshadow warnings

As always, please add your wishes for alternative renaming of variable names.

See merge request !16
(cherry picked from commit 6b890e74)

Signed-off-by: Steffen Müthing <muething@dune-project.org>

parent 2fdafaa4

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing with 90 additions and 91 deletions

Please register or to comment