Merge branch 'cleanup/typos' into 'master' (!126) · Merge requests · Core Modules / dune-grid · GitLab

Snippets Groups Projects

Merged Oliver Sander requested to merge cherry-pick-2772e01e into releases/2.5 8 years ago

Nov 10, 2016
- Merge branch 'cleanup/typos' into 'master' · fc76f6f8
  Oliver Sander authored 8 years ago
  
  [cleanup] fix some typos See merge request !125
  fc76f6f8