Skip to content

Switch to sphinx_rtd_theme from apt

Stefano Rivera requested to merge sphinx_rtd_theme into master

Fixes bullet points with current Sphinx.

Edited by Stefano Rivera

Merge request reports