manpage: this is about mat2, not mat (!17) · Merge requests · jvoisin / mat2 · GitLab

The source project of this merge request has been removed.

georg requested to merge (removed):manpage-fix-filename into master Oct 01, 2018