[cleanup] fix some typos in documentation strings
This fixes typos in comments and error messages.
Merge request reports
Activity
mentioned in merge request dune-common!79 (merged)
mentioned in commit 5392b00f
Mentioned in commit 5392b00f
Please register or sign in to reply