Skip to content

GitLab

Merged
Created by Valentin Reis@vreisOwner

[doc] haddock vendoring and readthedocs.io upload.

Also adds a CI job to check whether this documentation is up-to-date.

Edited by Valentin Reis