Commit 5ed5b9e9 authored by Cresson Remi's avatar Cresson Remi
Browse files

DOC: fix deadlink, add doc badge

parent f99f673a
2 merge requests!80Release 4.0.0 (doc hotfix),!79Doc hotfix
Pipeline #46003 passed with stages
in 18 minutes and 9 seconds