Merge branch 'bugfix/gridinfo' into 'master' (!161) · Merge requests · Core Modules / dune-grid · GitLab

Snippets Groups Projects

Merged Ansgar Burchardt requested to merge cherry-pick-ec8c5491 into releases/2.5 8 years ago

Mar 08, 2017
- Merge branch 'bugfix/gridinfo' into 'master' · 00bbd5e4
  Christoph Grüninger authored 8 years ago and Ansgar Burchardt committed 8 years ago
  
  gridinfo.hh: Use `subEntities(codim)` method instead of removed `count<codim>()` template method See merge request !157
  00bbd5e4