Skip to content
Snippets Groups Projects

update mathcomp documentation URL

Passed
Björn Brandenburg created pipeline for commit 3c2bd740
, finished
For master
7 jobs 5 minutes 17 seconds, queued for 2 seconds