Skip to content

Sphinx: minor improvements to RTD theme integration#939

Merged
gusthoff merged 4 commits intoAdaCore:masterfrom gusthoff:topic/infrastructure/sphinx/structure/20231006Oct 7, 2023