Host documentation on readthedocs.org
This MR resets the project so that its documentation is hosted on readthedocs.org. All badges have been modified.
Edited by André Anjos
Merge request reports
Activity
assigned to @andre.anjos
enabled an automatic merge when the pipeline for ade4792e succeeds
mentioned in commit 76996f4a
Please register or sign in to reply