Skip to content

Host documentation on readthedocs.org

André Anjos requested to merge readthedocs into main

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