[cleanup] fix some typos in documentation strings and an error message (!17) · Merge requests · staging / dune-functions · GitLab

Snippets Groups Projects

The source project of this merge request has been removed.

Merged Felix Gruber requested to merge (removed):cleanup/typos into master 9 years ago

Activity

Felix Gruber mentioned in merge request core/dune-common!79 (merged) 9 years ago

mentioned in merge request core/dune-common!79 (merged)
Oliver Sander mentioned in commit 98035926 9 years ago

mentioned in commit 98035926
Oliver Sander Status changed to merged 9 years ago

Status changed to merged

Please register or sign in to reply