[cleanup] fix typos in documentation (!34) · Merge requests · staging / dune-functions · GitLab

The source project of this merge request has been removed.

Felix Gruber requested to merge (removed):cleanup/typos into master Nov 10, 2016