Skip to content
GitLab
Commit 86de8dbe authored by Julien Osman's avatar Julien Osman
Browse files

Merge branch '2280-doc-segmentation' into 'develop' 

Multiple documentation improvvements

Closes #2280

See merge request !927
parents f61d77ff d6d35f9a
Pipeline #11463 passed with stage
in 20 minutes and 20 seconds